-
2
-
-
0003227926
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
-
Springer-Verlag
-
Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. Number 897 in Lecture Notes in Mathematics. Springer-Verlag, 1981.
-
(1981)
Lecture Notes in Mathematics
, Issue.897
-
-
Buchholz, W.1
Feferman, S.2
Pohlers, W.3
Sieg, W.4
-
4
-
-
38249011731
-
New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
-
June
-
Roy L. Croie and Andrew M. Pitts. New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic. Information and Computation, 98(2):171-210, June 1992.
-
(1992)
Information and Computation
, vol.98
, Issue.2
, pp. 171-210
-
-
Croie, R.L.1
Pitts, A.M.2
-
8
-
-
0001817272
-
Algebraically complete categories
-
A. Carboni, M.C. Pedicchio, and G. Rosolini, editors, Springer-Verlag
-
Peter Freyd. Algebraically complete categories. In A. Carboni, M.C. Pedicchio, and G. Rosolini, editors, Category Theory: Proceedings, Como 1990. pages 95-104. Springer-Verlag, 1991.
-
(1991)
Category Theory: Proceedings, Como 1990
, pp. 95-104
-
-
Freyd, P.1
-
9
-
-
0001817274
-
Remarks on algebraically compact categories
-
M.P. Fourman, P.T. Johnstone, and A.M. Pitts, editors, Applications of Categories in Computer Science, Cambridge University Press
-
Peter Freyd. Remarks on algebraically compact categories. In M.P. Fourman, P.T. Johnstone, and A.M. Pitts, editors, Applications of Categories in Computer Science, number 177 in London Mathematical Society Lecture Note Series, pages 95-106. Cambridge University Press, 1992. Proceedings of the LMS Symposium, Durham 1991.
-
(1992)
London Mathematical Society Lecture Note Series
, Issue.177
, pp. 95-106
-
-
Freyd, P.1
-
10
-
-
85033008306
-
-
Durham
-
Peter Freyd. Remarks on algebraically compact categories. In M.P. Fourman, P.T. Johnstone, and A.M. Pitts, editors, Applications of Categories in Computer Science, number 177 in London Mathematical Society Lecture Note Series, pages 95-106. Cambridge University Press, 1992. Proceedings of the LMS Symposium, Durham 1991.
-
(1991)
Proceedings of the LMS Symposium
-
-
-
12
-
-
0006902023
-
-
PhD thesis, Stanford University, Published as Stanford Computer Science Department Technical Report STAN-CS-92-1455
-
Brian T. Howard. Fixed Points and Extensionality in Typed Functional Programming Languages. PhD thesis, Stanford University, 1992. Published as Stanford Computer Science Department Technical Report STAN-CS-92-1455.
-
(1992)
Fixed Points and Extensionality in Typed Functional Programming Languages
-
-
Howard, B.T.1
-
13
-
-
85033020630
-
-
Technical Report MS-CIS-93-14, Department of Computer and Information Science, University of Pennsylvania
-
Brian T. Howard. Inductive, projective, and retractive types. Technical Report MS-CIS-93-14, Department of Computer and Information Science, University of Pennsylvania, 1993.
-
(1993)
Inductive, Projective, and Retractive Types
-
-
Howard, B.T.1
-
15
-
-
85033026446
-
-
Technical Report CS/E 93-001, Oregon Graduate Institute of Science and Technology
-
Richard B. Kieburtz. Inductive programming. Technical Report CS/E 93-001, Oregon Graduate Institute of Science and Technology, 1993.
-
(1993)
Inductive Programming
-
-
Kieburtz, R.B.1
-
16
-
-
0004257495
-
-
PhD thesis, University of Utrecht, Published as Mathematical Center Tract 129
-
Jan Willem Klop. Combinatory Reduction Systems. PhD thesis, University of Utrecht, 1980. Published as Mathematical Center Tract 129.
-
(1980)
Combinatory Reduction Systems
-
-
Klop, J.W.1
-
18
-
-
0003248906
-
Introduction to Higher-Order Categorical Logic
-
Cambridge University Press
-
J. Lambek and P.J. Scott. Introduction to Higher-Order Categorical Logic. Number 7 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1986.
-
(1986)
Cambridge Studies in Advanced Mathematics
, Issue.7
-
-
Lambek, J.1
Scott, P.J.2
-
19
-
-
0344094105
-
-
PhD thesis, University of Nijmegen
-
Erik Meijer. Calculating Compilers. PhD thesis, University of Nijmegen, 1992.
-
(1992)
Calculating Compilers
-
-
Meijer, E.1
-
20
-
-
85014115727
-
Functional programming with bananas, lenses, envelopes and barbed wire
-
J. Hughes, editor, Proceedings of the Fifth ACM Conference on Functional Programming Languages and Computer Architecture, Springer-Verlag
-
Erik Meijer, Maarten Fokkinga, and Ross Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Proceedings of the Fifth ACM Conference on Functional Programming Languages and Computer Architecture, number 523 in Lecture Notes in Computer Science, pages 124-144. Springer-Verlag, 1991.
-
(1991)
Lecture Notes in Computer Science
, Issue.523
, pp. 124-144
-
-
Meijer, E.1
Fokkinga, M.2
Paterson, R.3
-
21
-
-
0002165219
-
Type systems for programming languages
-
Jan van Leeuwen, editor, chapter 8, Elsevier
-
John C. Mitchell. Type systems for programming languages. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 8, pages 365-458. Elsevier, 1990.
-
(1990)
Handbook of Theoretical Computer Science
, vol.B
, pp. 365-458
-
-
Mitchell, J.C.1
-
23
-
-
18944402846
-
-
Available as HL-notes.dvi.gz by anonymous ftp from theory.doc.ic.ac.uk in directory tfm/papers/MoggiE, October
-
Eugenio Moggi. Metalanguages and applications. Available as HL-notes.dvi.gz by anonymous ftp from theory.doc.ic.ac.uk in directory tfm/papers/MoggiE, October 1995.
-
(1995)
Metalanguages and Applications
-
-
Moggi, E.1
-
24
-
-
0942302119
-
Strong monads, algebras and fixed points
-
M.P. Fourman, P.T. Johnstone, and A.M. Pitts, editors, Applications of Categories in Computer Science, Cambridge University Press
-
Philip S. Mulry. Strong monads, algebras and fixed points. In M.P. Fourman, P.T. Johnstone, and A.M. Pitts, editors, Applications of Categories in Computer Science, number 177 in London Mathematical Society Lecture Note Series, pages 202-216. Cambridge University Press, 1992. Proceedings of the LMS Symposium, Durham 1991.
-
(1992)
London Mathematical Society Lecture Note Series
, Issue.177
, pp. 202-216
-
-
Mulry, P.S.1
-
25
-
-
85033002059
-
-
Durham
-
Philip S. Mulry. Strong monads, algebras and fixed points. In M.P. Fourman, P.T. Johnstone, and A.M. Pitts, editors, Applications of Categories in Computer Science, number 177 in London Mathematical Society Lecture Note Series, pages 202-216. Cambridge University Press, 1992. Proceedings of the LMS Symposium, Durham 1991.
-
(1991)
Proceedings of the LMS Symposium
-
-
-
26
-
-
0000291180
-
Lifting theorems for kleisli categories
-
S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Ninth International Conference on Mathematical Foundations of Programming Semantics, Springer-Verlag
-
Philip S. Mulry. Lifting theorems for kleisli categories. In S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Ninth International Conference on Mathematical Foundations of Programming Semantics, number 802 in Lecture Notes in Computer Science, pages 304-319. Springer-Verlag, 1993.
-
(1993)
Lecture Notes in Computer Science
, Issue.802
, pp. 304-319
-
-
Mulry, P.S.1
-
27
-
-
0003562068
-
-
Available as kleisli.dvi.Z by anonymous ftp from ftp.dcs.ed.ac.uk in directory pub/als, August
-
Alex K. Simpson. Recursive types in kleisli categories. Available as kleisli.dvi.Z by anonymous ftp from ftp.dcs.ed.ac.uk in directory pub/als, August 1992.
-
(1992)
Recursive Types in Kleisli Categories
-
-
Simpson, A.K.1
-
28
-
-
0000874096
-
The category-theoretic solution of recursive domain equations
-
Michael B. Smyth and Gordon D. Plotkin. The category-theoretic solution of recursive domain equations. SIAM Journal on Computing, 11:761-783, 1982.
-
(1982)
SIAM Journal on Computing
, vol.11
, pp. 761-783
-
-
Smyth, M.B.1
Plotkin, G.D.2
|