✦ LIBER ✦

Continuous normalization for the lambda-calculus and Gödel’s

✍ Scribed by Klaus Aehlig; Felix Joachimski

Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 358 KB
Volume: 133
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2004.10.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Skew confluence and the lambda calculus

Skew confluence and the lambda calculus with letrec

✍ Zena M. Ariola; Stefan Blom 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 574 KB

We present an extension of the lambda calculus with the letrec construct. In contrast to current theories, which impose restrictions on where the rewriting can take place, our theory is very liberal, e.g., it allows rewriting under lambda abstractions and on cycles. As shown previously, the reductio

Call-by-value, call-by-name, and strong

Call-by-value, call-by-name, and strong normalization for the classical sequent calculus

✍ Stéphane Lengrand 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 958 KB

Inductive types and type constraints in

Inductive types and type constraints in the second-order lambda calculus

✍ Nax Paul Mendler 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 902 KB

Space-Profiling Semantics of the Call-by

Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation

✍ Yasuhiko Minamide 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 807 KB

A natural normalization for the eigensta

A natural normalization for the eigenstates of a Hamiltonian with continuous spectrum

✍ Gustavo Murgida; Mario Castagnino 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 252 KB

Call-by-name, call-by-value, call-by-nee

Call-by-name, call-by-value, call-by-need and the linear lambda calculus

✍ J. Maraist; M. Odersky; D.N. Turner; P. Wadler 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 206 KB