메뉴 건너뛰기




Volumn 65, Issue 1-2, 2005, Pages 1-28

∂ for data: Differentiating data structures

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR ALGEBRA; MATHEMATICAL TECHNIQUES;

EID: 24044467770     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper
Times cited : (37)

References (20)
  • 5
    • 23844452331 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 8
  • 9
    • 0037028518 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 14
    • 0000038661 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.