✦ LIBER ✦

Characterization theorems for a filter lambda model

✍ Scribed by Simonetta Ronchi Della Rocca

Book ID: 114037595
Publisher: Elsevier Science
Year: 1982
Weight: 677 KB
Volume: 54
Category: Article
ISSN: 0019-9958
DOI: 10.1016/s0019-9958(82)80022-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

A Syntactic Characterization of the Equa

A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus

✍ Hyland, M. 📂 Article 📅 1976 🏛 Oxford University Press 🌐 English ⚖ 225 KB

Characterization Theorems for Zara Graph

Characterization Theorems for Zara Graphs

✍ Blokhuis, A.; Wilbrink, H. 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 819 KB

Regge-pole model andU6,6symmetry for(pa

Regge-pole model andU6,6symmetry for(par p o Lambda ar Lambda )

✍ A. Sundaram; K. Srinivasa Rao 📂 Article 📅 1969 🏛 Springer-Verlag ⚖ 243 KB

A characterization theorem for injective

A characterization theorem for injective model classes axiomatized by general rules

✍ Zhaohui Zhu; Rong Zhang; Shan Lu 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 361 KB

A characterization theorem for weak vari

A characterization theorem for weak varieties

✍ Grzegorz Bińczak 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 98 KB