✦ LIBER ✦

Polymorphic type-checking for the ramified theory of types of Principia Mathematica

✍ Scribed by M.Randall Holmes

Book ID: 104445018
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 964 KB
Volume: 85
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80761-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Correspondence between Martin-Löf Type

A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems

✍ Fairouz Kamareddine; Twan Laan 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 185 KB

Novel Types of Mutation Responsible for

Novel Types of Mutation Responsible for the Dermatosparactic Type of Ehlers-Danlos Syndrome (Type VIIC) and Common Polymorphisms in the ADAMTS2 Gene

✍ Colige, Alain; Nuytinck, Lieve; Hausser, Ingrid; van Essen, Anthonie J.; Thiry, 📂 Article 📅 2004 🏛 Nature Publishing Group 🌐 English ⚖ 658 KB

Coalgebraic minimization of HD-automata

Coalgebraic minimization of HD-automata for the -calculus using polymorphic types

✍ Gianluigi Ferrari; Ugo Montanari; Emilio Tuosto 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 613 KB

The Theory of Logical Types: A Tool for

The Theory of Logical Types: A Tool for Understanding Levels and Types of Change in Organizations

✍ David W. Roach; David A. Bednar 📂 Article 📅 1997 🏛 SAGE Publications 🌐 English ⚖ 282 KB

Global existence of weak-type solutions

Global existence of weak-type solutions for models of monotone type in the theory of inelastic deformations

✍ Krzysztof Chełmiński 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 271 KB

## Abstract This article introduces the notion of weak‐type solutions for systems of equations from the theory of inelastic deformations, assuming that the considered model is of monotone type (for the definition see [__Lecture Notes in Mathematics__, 1998, vol. 1682]). For the boundary data associ

Mean-Field Theory for Percolation Models

Mean-Field Theory for Percolation Models of the Ising Type

✍ L. Chayes; A. Coniglio; J. Machta; K. Shtengel 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 126 KB