✦ LIBER ✦

Totality in applicative theories

✍ Scribed by Gerhard Jäger; Thomas Strahm

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 1003 KB
Volume: 74
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(94)00037-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

(hbox{sf N})-strictness in applicative t

(hbox{sf N})-strictness in applicative theories

✍ Reinhard Kahle 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 135 KB

The Suslin operator in applicative theor

The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories

✍ Gerhard Jäger; Dieter Probst 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 306 KB

Feasible Operations and Applicative Theo

Feasible Operations and Applicative Theories Based on λη

✍ Andrea Cantini 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 263 KB

Typability in Partial Applicative Struct

Typability in Partial Applicative Structures

✍ Inge Bethke; Piet Rodenburg 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 133 KB

Heather, the Totality

✍ Matthew Weiner 📂 Fiction 📅 2017 🏛 Little, Brown and Company 🌐 English ⚖ 98 KB

**The explosive debut novel - about family, power and privilege - from the creator of the award-winning Mad Men.** ** ****One of _People_ magazine's 'People Picks'** ** **Mark and Karen Breakstone have constructed the idyllic life of wealth and status they always wanted, made complete by their

Period of Totality

✍ Saberhagen, Fred 📂 Fiction 📅 0 🌐 English ⚖ 80 KB