William M. Farmer. A Simple Type Theory with Partial Functions and Subtypes. Annals of Pure and Applied Logic, 64(3):211-240, 1993.
@article{Farmer93:0,
title = {A Simple Type Theory with Partial Functions and Subtypes},
author = {William M. Farmer},
year = {1993},
tags = {subtyping, type theory},
researchr = {https://researchr.org/publication/Farmer93%3A0},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {64},
number = {3},
pages = {211-240},
}