scientific article; zbMATH DE number 1231468

zbMath0908.03017MaRDI QIDQ4222771

David N. Turner, Martin Odersky, Philip Wadler, J. Maraist

Publication date: 10 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume1.htm#maraist

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Curry-Howard isomorphismcall-by-needcall-by-valuecall-by-nametranslation of intuitionistic logic into linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items

Strong normalization from weak normalization in typed \(\lambda\)-calculi, The Essence of Dependent Object Types, Lambda calculus with explicit recursion, Linear dependent types in a call-by-value scenario, The name discipline of uniform receptiveness, Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach, The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving, Weak linearization of the lambda calculus