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

A decidable theory of type assignment

โœ Scribed by William R. Stirton

Book ID
120739131
Publisher
Springer
Year
2013
Tongue
English
Weight
462 KB
Volume
52
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Decidability in Intuitionistic Type Theo
Decidability in Intuitionistic Type Theory is Functionally Decidable
โœ Silvio Valentini ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 255 KB

## Abstract In this paper we show that the usual intuitionistic characterization of the decidability of the propositional function __B(x) prop__ [__x : A__], i. e. to require that the predicate (โˆ€__x__ โˆˆ __A__) (__B(x)__ โˆจ ยฌ __B(x)__) is provable, is equivalent, when working within the framework of