[Prev][Next][Index][Thread]

Pointers needed in extensions to Martin-Lof type theory





Has there been any more work done on partial computations and general
recursion in Martin-Lof type theory since the 1987 LICS paper of Constable
and Smith? ("Partial Objects in Constructive Type Theory," Proc. LICS 1987.)

Any references, especially anon-FTP-able ones, would be greatly appreciated.

------------------------+-------------------------------------------------
caplan@cs.uiuc.edu	|	Joshua Caplan
			|	Department of Computer Science
			|	University of Illinois at Urbana-Champaign
------------------------+-------------------------------------------------