743 search results - page 26 / 149 » A Calculus of Gamma Programs |
FS
2010
13 years 6 months ago
2010
Following the framework of C¸etin, Jarrow and Protter [4] we study the problem of super-replication in presence of liquidity costs under additional restrictions on the gamma of th...
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
Abstract. We propose an extension of the Applied Pi
PEPM
2009
ACM
14 years 6 days ago
2009
ACM
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...