[Prev][Next][Index][Thread]
Pointers needed in extensions to Martin-Lof type theory
-
To: types@dcs.gla.ac.uk
-
Subject: Pointers needed in extensions to Martin-Lof type theory
-
From: Joshua Caplan <caplan@cs.uiuc.edu>
-
Date: Fri, 25 Feb 1994 14:42:44 -0600
-
Approved: types@dcs.gla.ac.uk
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
------------------------+-------------------------------------------------