-
1
-
-
77956968047
-
Frege structures and the notions of proposition, truth and set
-
North-Holland
-
Aczel, P.: Frege structures and the notions of proposition, truth and set, in The Kleene Symposium, North-Holland, 1980, pp 31-59.
-
(1980)
The Kleene Symposium
, pp. 31-59
-
-
Aczel, P.1
-
2
-
-
11544325850
-
A short description of another logical framework
-
Antibes
-
Augustsson, L., Coquand, T., and Nordström, B.: A short description of another logical framework, in Proceedings of the First Workshop on Logical Frameworks, Antibes, 1990, pp. 39-42.
-
(1990)
Proceedings of the First Workshop on Logical Frameworks
, pp. 39-42
-
-
Augustsson, L.1
Coquand, T.2
Nordström, B.3
-
3
-
-
25444531377
-
A short description of another logical framework
-
G. Huet and G. Plotkin (eds), Antibes, May
-
Augustsson, L., Coquand, T., and Nordström, B.: A short description of another logical framework, in G. Huet and G. Plotkin (eds), Proceedings of the First Workshop on Logical Frameworks, Antibes, May 1992.
-
(1992)
Proceedings of the First Workshop on Logical Frameworks
-
-
Augustsson, L.1
Coquand, T.2
Nordström, B.3
-
4
-
-
0003266602
-
Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics
-
Cambridge University Press
-
Dybjer, P.: Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics, in Logical Frameworks, Cambridge University Press, 1991, pp. 280-306.
-
(1991)
Logical Frameworks
, pp. 280-306
-
-
Dybjer, P.1
-
5
-
-
25444513938
-
A Domain-Theoretic Model for the Terms of Intuitionistic Type Theory
-
Eklund, E.: A Domain-Theoretic Model for the Terms of Intuitionistic Type Theory, U.U.D.M. Project Report 1987:P3.
-
(1987)
U.U.D.M. Project Report
-
-
Eklund, E.1
-
6
-
-
77956953346
-
Une extension de l'interprétation de Gödel à l'analyse, et son application à l'elimination des coupures dans l'analyse et la théorie des types
-
J. E. Fenstad (ed.), North-Holland
-
Girard, J.: Une extension de l'interprétation de Gödel à l'analyse, et son application à l'elimination des coupures dans l'analyse et la théorie des types, in J. E. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, 1971, pp. 63-92.
-
(1971)
Proceedings of the Second Scandinavian Logic Symposium
, pp. 63-92
-
-
Girard, J.1
-
7
-
-
0003751537
-
-
Cambridge University Press
-
Griffor, E. R., Lindström, I., and Stoltenberg-Hansen, V.: Mathematical Theory of Domains, Cambridge University Press, 1994.
-
(1994)
Mathematical Theory of Domains
-
-
Griffor, E.R.1
Lindström, I.2
Stoltenberg-Hansen, V.3
-
8
-
-
25444460530
-
Normalizing the associative law: An experiment with Martin-Löf's type theory
-
Hedberg, M.: Normalizing the associative law: An experiment with Martin-Löf's type theory, Formal Aspects of Computing 3 (1991), 218-252.
-
(1991)
Formal Aspects of Computing
, vol.3
, pp. 218-252
-
-
Hedberg, M.1
-
9
-
-
25444440286
-
A Model of Intensional Martin-Löf Type Theory in Which Unicity of Identity Proofs Does Not Hold
-
Dept. of Computer Science, University of Edinburgh, Draft, June
-
Hofmann, M.: A Model of Intensional Martin-Löf Type Theory in Which Unicity of Identity Proofs Does Not Hold. Technical Report, Dept. of Computer Science, University of Edinburgh, Draft, June 1993.
-
(1993)
Technical Report
-
-
Hofmann, M.1
-
10
-
-
0003668534
-
A Theory of Types
-
University of Stockholm
-
Martin-Löf, P.: A Theory of Types. Technical Report 72-118, University of Stockholm, 1971.
-
(1971)
Technical Report 72-118
-
-
Martin-Löf, P.1
-
11
-
-
0040309327
-
The domain interpretation of type theory, lecture notes
-
K. Karlsson and K. Petersson (eds), Chalmers University of Technology and University of Göteborg, Programming Methodology Group, August
-
Martin-Löf, P.: The domain interpretation of type theory, lecture notes, in K. Karlsson and K. Petersson (eds), Workshop on Semantics of Programming Languages, Abstracts and Notes, Chalmers University of Technology and University of Göteborg, Programming Methodology Group, August 1983.
-
(1983)
Workshop on Semantics of Programming Languages, Abstracts and Notes
-
-
Martin-Löf, P.1
-
13
-
-
0003729586
-
-
Oxford University Press
-
Nordström, B., Petersson, K., and Smith, J. M.: Programming in Martin-Löf's Type Theory. An Introduction, Oxford University Press, 1990.
-
(1990)
Programming in Martin-Löf's Type Theory. An Introduction
-
-
Nordström, B.1
Petersson, K.2
Smith, J.M.3
-
14
-
-
25444446045
-
A Domain Interpretation of Martin-Löf's Partial Type Theory with Universes
-
Palmgren, E.: A Domain Interpretation of Martin-Löf's Partial Type Theory with Universes, U.U.D.M. Report 1989:11.
-
(1989)
U.U.D.M. Report
, pp. 11
-
-
Palmgren, E.1
-
16
-
-
25444507368
-
Polymorphism and Monomorphism in Martin-Löf's Type Theory
-
Norwegian Computing Center, December
-
Salvesen, A.: Polymorphism and Monomorphism in Martin-Löf's Type Theory, Technical Report, Norwegian Computing Center, December 1988.
-
(1988)
Technical Report
-
-
Salvesen, A.1
-
17
-
-
25444482052
-
-
Padova
-
Sambin, G., Valentini, S., and Virgili, P.: Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology, Padova, 1991.
-
(1991)
Constructive Domain Theory As a Branch of Intuitionistic Pointfree Topology
-
-
Sambin, G.1
Valentini, S.2
Virgili, P.3
-
19
-
-
0003645721
-
Lectures on a Mathematical Theory of Computation
-
Oxford University Programming Research Group, May
-
Scott, D.: Lectures on a Mathematical Theory of Computation, Technical Report PRG-19, Oxford University Programming Research Group, May 1981.
-
(1981)
Technical Report PRG-19
-
-
Scott, D.1
-
20
-
-
85037056865
-
Domains for denotational semantics
-
Springer-Verlag, LNCS 140, July
-
Scott, D.: Domains for denotational semantics, in Automata, Languages and Programming, 9th Colloquium, Springer-Verlag, LNCS 140, July 1982, pp. 577-613.
-
(1982)
Automata, Languages and Programming, 9th Colloquium
, pp. 577-613
-
-
Scott, D.1
|