researchr - search publication type theory

researchr

You are not signed in
Sign in
Sign up

1296 publication results matching 'type theory'

Constructing Type Systems over an Operational Semantics
… Type theories in the sense of Martin-Löf and the NuPRL system are based on taking as primitive a type-free programming language given by an operational … on a general theory of inductively-defined relations, was given by Allen …
Robert Harper. JSC, 14(1):71-84, 1992.
Recursive Definitions in Type TheoryRobert L. Constable, N. P. Mendler. lop 1985: 61-78
The Type Theory of PL/CV3Robert L. Constable, Daniel R. Zlatin. TOPLAS, 6(1):94-117, 1984. [doi]
A Lattice of Interpretability Types of TheoriesJan Mycielski. JSYML, 42(2):297-305, 1977.
Certifying circuits in Type TheorySolange Coupet-Grimal, Line Jakubiec. fac, 16(4):352-373, 2004. [doi]
General Recursion in Type TheoryAna Bove. TYPES 2003: 39-58 [doi]
Resolution and Type TheoryLeen Helmink. ESOP 1990: 197-211
Resolution and Type TheoryLeen Helmink. SCP, 17(1-3):119-138, 1991.
Interpreting Specialization in Type TheoryPeter Thiemann. PEPM 1999: 30-43
Classical Type TheoryPeter B. Andrews. In John Alan Robinson, Andrei Voronkov, editors, Handbook of Automated Reasoning (in 2 volumes). pages 965-1007, Elsevier and MIT Press, 2001.
Theorem Proving in Type TheoryPeter B. Andrews, Eve Longini Cohen. IJCAI 1977: 566-566
Formalized Metareasoning in Type TheoryTodd B. Knoblock, Robert L. Constable. lics 1986: 237-248
Internal Type TheoryPeter Dybjer. TYPES 1996: 120-134 [doi]
A Type Theory for Cyclic StrctureIzumi Takeuti. FLOPS 1998: 207-226
Applications of Type TheoryBernd Mahr. tapsoft 1993: 343-355
Partial Functions in Type TheoryFrançois Lepage. ndjfl, 33(4):493-516, 1992.
Do-It-Yourself Type TheoryRoland Carl Backhouse, Paul Chisholm. fac, 1(1):19-84, 1989.
A Mechanization of Type TheoryGérard P. Huet. IJCAI 1973: 139-146
Classical Type TheoryMaria Napierala. constructivity 1992: 89-107
Resolution in Type TheoryPeter B. Andrews. JSYML, 36(3):414-432, 1971.

Sign in or sign up to see more results.

runs on WebDSL