𝔖 Bobbio Scriptorium

✦ LIBER ✦

A type theory which is complete for Kreisel's modified realizability

✍ Scribed by Tristan Crolard

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 731 KB
Volume: 23
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00104-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Characterization of completely X-symmetr

Characterization of completely X-symmetric factorized S-matrices for a special type of interaction applications to multicomponent field theories

✍ D.V. Chudnovsky; G.V. Chudnovsky 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 215 KB