A simple type theory with partial functions and subtypes
type: Item
instance of: scholarly article
title: A simple type theory with partial functions and subtypes
zbMATH Open document ID: 0837.03003
DOI: 10.1016/0168-0072(93)90144-3
author: William M. Farmer
published in: Annals of Pure and Applied Logic
publication date: 1996-05-13T00:00:00Z
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 503601
zbMATH Keywords: simple type theory
zbMATH Keywords: subtypes
zbMATH Keywords: Henkin-style general models semantics
zbMATH Keywords: axiomatic system
zbMATH Keywords: foundation for mechanized mathematics
zbMATH Keywords: interactive mathematical proof system
describes a project that uses: IMPS
describes a project that uses: ETPS
MaRDI profile type: Publication
full work available at URL: 0168-0072(93)90144-3
OpenAlex ID: W2316406086
cites work: A reduction of the axioms for the theory of prepositional types
cites work: Q4726218
cites work: Q4052071
cites work: A partial functions version of Church's simple theory of types
cites work: Automated deduction -- CADE-11. Proceedings of the 11th international conference held in Saratoga Springs, NY, USA, June 15--18, 1992
cites work: Completeness in the theory of types
cites work: A theory of prepositional types
cites work: Q4124795
cites work: Q5537599
description: scientific article; zbMATH DE number 503601