-
4
-
-
33645494664
-
Derivatives of containers
-
M. Abbott, T. Altenkirch, N. Ghani, and C. McBride. Derivatives of containers. In Typed Lambda Calculi and Applications, TLCA, 2003b.
-
(2003)
Typed Lambda Calculi and Applications, TLCA
-
-
Abbott, M.1
Altenkirch, T.2
Ghani, N.3
McBride, C.4
-
5
-
-
23844452331
-
On relating type theories and set theories
-
P. Aczel. On relating type theories and set theories. Lecture Notes in Computer Science, 1657:1-20, 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1657
, pp. 1-20
-
-
Aczel, P.1
-
6
-
-
0242608616
-
The differential lambda-calculus
-
doi: http://dx.doi.org/10.1016/S0304-3975(03)00392-X
-
T. Ehrhard and L. Regnier. The differential lambda-calculus. Theor. Comput. Sci., 309(1): 1-41, 2003. doi: http://dx.doi.org/10.1016/S0304-3975(03) 00392-X.
-
(2003)
Theor. Comput. Sci.
, vol.309
, Issue.1
, pp. 1-41
-
-
Ehrhard, T.1
Regnier, L.2
-
9
-
-
0037028518
-
Two applications of analytic functors
-
R. Hasegawa. Two applications of analytic functors. Theoretical Comput. Sci., 272(1-2):112-175, 2002.
-
(2002)
Theoretical Comput. Sci.
, vol.272
, Issue.1-2
, pp. 112-175
-
-
Hasegawa, R.1
-
10
-
-
84955558825
-
On the interpretation of type theory in locally cartesian closed catetories
-
volume 933 of LACS
-
M. Hofmann. On the interpretation of type theory in locally cartesian closed catetories. In Computer Science Logic, volume 933 of LACS, 1994.
-
(1994)
Computer Science Logic
-
-
Hofmann, M.1
-
11
-
-
0142259803
-
Syntax and semantics of dependent types
-
A. M. Pitts and P. Dybjer, editors, Cambridge University Press, Cambridge
-
M. Hofmann. Syntax and semantics of dependent types. In A. M. Pitts and P. Dybjer, editors, Semantics and Logics of Computation, volume 14, pages 79-130. Cambridge University Press, Cambridge, 1997.
-
(1997)
Semantics and Logics of Computation
, vol.14
, pp. 79-130
-
-
Hofmann, M.1
-
13
-
-
84870914855
-
Shapely types and shape polymorphism
-
D. Sannella, editor, Lecture Notes in Computer Science, Springer-Verlag
-
C. B. Jay and J. R. B. Cockett. Shapely types and shape polymorphism. In D. Sannella, editor, Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, U.K., April 1994, Proceedings, Lecture Notes in Computer Science, pages 302-316. Springer-Verlag, 1994.
-
(1994)
Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, U.K., April 1994, Proceedings
, pp. 302-316
-
-
Jay, C.B.1
Cockett, J.R.B.2
-
14
-
-
0000038661
-
Foncteurs analytiques et espéces de structures
-
number 1234 in LNM
-
A. Joyal. Foncteurs analytiques et espéces de structures. In Combinatoire énumérative, number 1234 in LNM, pages 126-159. 1986.
-
(1986)
Combinatoire Énumérative
, pp. 126-159
-
-
Joyal, A.1
-
15
-
-
0003522165
-
LEGO proof development system: User's manual
-
Laboratory for Foundations of Computer Science, University of Edinburgh
-
Z. Luo and R. Pollack. LEGO Proof Development System: User's Manual. Technical Report ECSLFCS-92-211, Laboratory for Foundations of Computer Science, University of Edinburgh, 1992.
-
(1992)
Technical Report
, vol.ECSLFCS-92-211
-
-
Luo, Z.1
Pollack, R.2
-
20
-
-
38249004919
-
The adjoints to the derivative functor on species
-
doi: http://dx.doi.org/10.1016/0097-3165(93)90073-H
-
D. S. Rajan. The adjoints to the derivative functor on species. J. Comb. Theory Ser. A, 62(1):93-106, 1993. doi: http://dx.doi.org/10.1016/0097-3165(93) 90073-H.
-
(1993)
J. Comb. Theory Ser. A
, vol.62
, Issue.1
, pp. 93-106
-
-
Rajan, D.S.1
|