๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formalizing Synthetic Domain Theory

โœ Scribed by Bernhard Reus

Book ID
110233609
Publisher
Springer Netherlands
Year
1999
Tongue
English
Weight
235 KB
Volume
23
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Formalizing Mirror Theory
Formalizing Mirror Theory
โœ Gregory M. Kobele ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Springer ๐ŸŒ English โš– 272 KB
Two models of synthetic domain theory
Two models of synthetic domain theory
โœ Marcelo P. Fiore; Giuseppe Rosolini ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 688 KB
Formalizing the theory of intentionality
Formalizing the theory of intentionality
โœ Christian Brassac; Alain Trognon ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 417 KB
A synthetic theory of sequential domains
A synthetic theory of sequential domains
โœ Bernhard Reus; Thomas Streicher ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 296 KB