✦ LIBER ✦

A Lambda Calculus for Quantum Computation

✍ Scribed by van Tonder, André

Book ID: 121244056
Publisher: Society for Industrial and Applied Mathematics
Year: 2004
Tongue: English
Weight: 228 KB
Volume: 33
Category: Article
ISSN: 0097-5397
DOI: 10.1137/S0097539703432165

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A typed, algebraic, computational lambda

A typed, algebraic, computational lambda-calculus

✍ VALIRON, BENOÎT 📂 Article 📅 2013 🏛 Cambridge University Press 🌐 English ⚖ 683 KB

Light types for polynomial time computat

Light types for polynomial time computation in lambda calculus

✍ Patrick Baillot; Kazushige Terui 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 495 KB

A Calculus of Lambda Calculus Contexts

✍ Mirna Bognar; Roel de Vrijer 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 207 KB

Scheme: A Interpreter for Extended Lambd

Scheme: A Interpreter for Extended Lambda Calculus

✍ Gerald Jay Sussman; Guy L. Steele 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 114 KB

Static typing for a substructural lambda

Static typing for a substructural lambda calculus

✍ Hua, Baojian 📂 Article 📅 2011 🏛 Higher Education Press and Springer 🌐 English ⚖ 249 KB

A Filter Model for Concurrent $\lambda$-

A Filter Model for Concurrent $\lambda$-Calculus

✍ Dezani-Ciancaglini, Mariangiola; de'Liguoro, Ugo; Piperno, Adolfo 📂 Article 📅 1998 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 578 KB