## A unified approach to Type Theory through a refined λ-calculus (1994)

by
Fairouz Kamareddine
,
Rob Nederpelt

Citations: | 14 - 13 self |

### BibTeX

@MISC{Kamareddine94aunified,

author = {Fairouz Kamareddine and Rob Nederpelt},

title = {A unified approach to Type Theory through a refined λ-calculus},

year = {1994}

}

### OpenURL

### Abstract

In the area of foundations of mathematics and computer science, three related topics dominate. These are -calculus, type theory and logic.