TYPE THEORY AND FUNCTIONAL PROGRAMMING A WORK PROPOSAL Gustavo Betarte (2007)
Gustun Cs, Gustavo Betarte, Ana Bove, Cristina Cornes, Sylvia Da Rosa, Daniel Fridlender
We propose a series of work areas related to type theory and functional programming. By type theory we mean the formulation of Martin-Lof's set theory using the theory of types as logical...