✦ LIBER ✦

Synthetic domain theory and models of linear Abadi & Plotkin logic

✍ Scribed by Rasmus Ejlers Møgelberg; Lars Birkedal; Giuseppe Rosolini

Book ID: 108054640
Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 604 KB
Volume: 155
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2008.03.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Numerical time-domain modeling of linear

Numerical time-domain modeling of linear and nonlinear ultrasonic wave propagation using finite integration techniques––theory and applications

✍ Frank Schubert 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 891 KB

[Lecture Notes in Computer Science] Cate

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || A dialectica-like model of linear logic

✍ Pitt, David H.; Rydeheard, David E.; Dybjer, Peter; Pitts, Andrew M.; Poigné, Ax 📂 Article 📅 1989 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 709 KB

The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get c

Mathematical Methods of the Theory of St

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB