Jumbo λ-calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4052 LNCS, Issue , 2006, Pages 444-455

  Levy, Paul Blain ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER PROGRAMMING; COMPUTER SIMULATION;

CALL-BY-NAME; CALL-BY-VALUE; JUMBO CONNECTIVES; LAMBDA-CALCULUS; SYNTAX;

DIFFERENTIATION (CALCULUS);

EID: 33746340295     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787006_38     Document Type: Conference Paper

References (8)

1. [Gir01] J.-Y. Girard. Locus solum: From the rules of logic to the logic of rules. Mathematical Structures in Computer Science, 11(3):301-506, 2001.
2. [GLT88] J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Cambridge Tracts in Theoretical Computer Science 7. Cambridge University Press, 1988.
3. [LS86] J. Lambek and P. Scott. Introduction to Higher Order Categorical Logic. Cambridge University Press, Cambridge, 1986.
4. [McC96a] G. McCusker. Full abstraction by translation. Proc., 3rd Workshop in Theory and Formal Methods, Imperial College, London., 1996.
5. [McC96b] G. McCusker. Games and Pull Abstraction for a Functional Metalanguage with Recursive Types. PhD thesis, University of London, 1996.
6. [Mog89] E. Moggi. Computational lambda-calculus and monads. In LICS'89, Proc. 4th Ann. Symp. on Logic in Comp. Sci., pages 14-23. IEEE, 1989.
7. [Pit00] A. M. Pitts. Categorical logic. In Handbook of Logic in Computer Science, Vol. 5. Oxford University Press, 2000.
8. [Win93] G. Winskel. Formal Semantics of Programming Languages. MIT Press, 1993.