Y. Kaneyama  Home/Search
Context
Related
| sato.kuis.kyotou....ahalfmonotone.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sato.kuis.kyotou.ac...researche (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: e Theory (Preliminary Report) ", LNCS 613 (Springer, 1991) pp. 33-45. 19. P. Dybjer, "Universes and a general notion of simultaneous inductive-recursive definition in type theory", Proc. of the 1992 Workshop on Types for Proofs and Programs, Baastad, eds. B. Nordstrom et al. (1992). 20. P. Dybjer, "A general notion of simultaneous inductive-recursive definition in type theory", Draft paper (available by ftp from cs.chalmers.se at /pub/clics/peterd/Inductive Recursive.dvi.Z) (1993). 21. M.... (Update)
Active bibliography (related documents): More All
0.3: QPC 2 : A Constructive Calculus with Parameterized Specifications - Takayama (1995) (Correct)
0.3: Defining Concurrent Processes Constructively - Takayama (1994) (Correct)
0.0: An Extended Calculus of Constructions - Luo (1990) (Correct)
Similar documents based on text: More All
0.1: Truth in Applicative Theories - Kahle (2001) (Correct)
0.1: Universes over Frege Structures - Kahle (1996) (Correct)
0.1: Are There Hard Examples for Frege Proof Systems? - Bonet, Buss, Pitassi (1995) (Correct)
BibTeX entry: (Update)
@misc{ kaneyama-typefree,
author = "Y. Kaneyama",
title = "A Type-Free Theory of Half-Monotone Inductive Definitions",
url = "citeseer.ist.psu.edu/261074.html" }
Citations (may not include all citations):505 Implementing mathematics with the Nuprl proof development sy.. - Constable - 1986
109 Programming in Martin-Lof's type theory (context) - Nordstrom, Pertersson et al. - 1990
63 Constructive theories of functions and classes (context) - Feferman - 1979
46 The calculus of constructions (context) - Coquand, Huet - 1988
39 PX: a computational logic (context) - Hayashi, Nakano - 1988
3 Constructive programming in SST (context) - Sato, Kameyama - 1989
Documents on the same site (http://www.sato.kuis.kyoto-u.ac.jp/member/kameyama/research-e.html): More
A Classical Catch/Throw Calculus with Tag Abstractions and.. - Kameyama, Sato (1998) (Correct)
Conservativeness of Lambda over lambdasigma-Calculus - Sato, Kameyama (Correct)
Strong Normalizability of the Non-deterministic Catch/Throw.. - Kameyama, Sato (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC