SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2803, Issue , 2003, Pages 575-588

Logical relations for dynamic name creation

(2) Zhang, Yu a Nowak, David a

a CNRS (France)

Author keywords

Categorical models of lambda calculi; Kripke logical relation; Name creation; Nu calculus

Indexed keywords

BIOMINERALIZATION; COMPUTATIONAL MECHANICS; DIFFERENTIATION (CALCULUS); NETWORK SECURITY; SEMANTICS;

HIGHER ORDER FUNCTIONS; KRIPKE LOGICAL RELATIONS; LAMBDA-CALCULI; NAME CREATION; NU-CALCULUS; OBSERVATIONAL EQUIVALENCES; OPERATIONAL SEMANTICS; TYPED LAMBDA CALCULUS;

CALCULATIONS;

EID: 35048862713 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/978-3-540-45220-1_48 Document Type: Article

Times cited : (7)

References (16)

1
- 0002422649
- A characterization of lambda definability in categorical models of implicit polymorphism
- Moez Alimohamed. A characterization of lambda definability in categorical models of implicit polymorphism. Theoretical Computer Science, 146(1-2):5-23, 1995.
- (1995) Theoretical Computer Science , vol.146 , Issue.1-2 , pp. 5-23
- Alimohamed, M.¹

2
- 0000516649
- Distributive laws
- Seminar on Triples and Categorical Homology Theory, Springer-Verlag
- Jon Beck. Distributive laws. In Seminar on Triples and Categorical Homology Theory, volume 80 of Lecture Notes in Mathematics, pages 119-140. Springer-Verlag, 1969.
- (1969) Lecture Notes in Mathematics , vol.80 , pp. 119-140
- Beck, J.¹

3
- 1442333628
- Logical relations for monadic types
- CSL'02, Springer-Verlag
- Jean Goubault-Larrecq, Slawomir Lasota, and David Nowak. Logical relations for monadic types. In CSL'02, volume 2471 of LNCS, pages 553-568. Springer-Verlag, 2002.
- (2002) LNCS , vol.2471 , pp. 553-568
- Goubault-Larrecq, J.¹ Lasota, S.² Nowak, D.³

4
- 0003532186
- Cambridge studies in advanced mathematics. Cambridge University Press
- Joachim Lambek and Philip J. Scott. Introduction to Higher Order Categorical Logic. Cambridge studies in advanced mathematics. Cambridge University Press, 1986.
- (1986) Introduction to Higher Order Categorical Logic
- Lambek, J.¹ Scott, P.J.²

5
- 0003466440
- MIT Press
- John C. Mitchell. Foundations of Programming Languages. MIT Press, 1996.
- (1996) Foundations of Programming Languages
- Mitchell, J.C.¹

6
- 0023170734
- Kripke-style models for typed lambda calculus
- The Computer Society of the IEEE
- John C. Mitchell and Eugenio Moggi. Kripke-style models for typed lambda calculus. In LICS'87, pages 303-314. The Computer Society of the IEEE, 1987.
- (1987) LICS'87 , pp. 303-314
- Mitchell, J.C.¹ Moggi, E.²

7
- 85027627154
- Notes on sconing and relators
- CSL'92, Springer Verlag
- John C. Mitchell and Andre Scedrov. Notes on sconing and relators. In CSL'92, volume 702 of LNCS, pages 352-378. Springer Verlag, 1993.
- (1993) LNCS , vol.702 , pp. 352-378
- Mitchell, J.C.¹ Scedrov, A.²

8
- 0024927385
- Computational lambda-calculus and monads
- IEEE Computer Society Press
- Eugenio Moggi. Computational lambda-calculus and monads. In LICS'89, pages 14-23. IEEE Computer Society Press, 1989.
- (1989) LICS'89 , pp. 14-23
- Moggi, E.¹

9
- 0003457308
- Technical Report ECS-LFCS-90-113, LFCS, Department of Computer Science, University of Edinburgh
- Eugenio Moggi. An abstract view of programming languages. Technical Report ECS-LFCS-90-113, LFCS, Department of Computer Science, University of Edinburgh, 1990.
- (1990) An Abstract View of Programming Languages
- Moggi, E.¹

10
- 0026188821
- Notions of computation and monads
- Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55-92, 1991.
- (1991) Information and Computation , vol.93 , pp. 55-92
- Moggi, E.¹

11
- 85029606643
- Observable properties of higher order functions that dynamically create local names, or: What's new!
- MFCS'93, Springer-Verlag
- Andrew Pitts and Ian Stark. Observable properties of higher order functions that dynamically create local names, or: What's new! In MFCS'93, volume 711 of LNCS, pages 122-141. Springer-Verlag, 1993.
- (1993) LNCS , vol.711 , pp. 122-141
- Pitts, A.¹ Stark, I.²

12
- 0003768829
- PhD thesis, University of Cambridge
- Ian Stark. Names and Higher-Order Functions. PhD thesis, University of Cambridge, 1994.
- (1994) Names and Higher-Order Functions
- Stark, I.¹

13
- 0003072080
- Categorical models for local names
- Ian Stark. Categorical models for local names. Lisp and Symbolic Computation, 9(1):77-107, 1996.
- (1996) Lisp and Symbolic Computation , vol.9 , Issue.1 , pp. 77-107
- Stark, I.¹

14
- 0347877345
- Names, equations, relations: Practical ways to reason about new
- Ian Stark. Names, equations, relations: Practical ways to reason about new. Fundamenta Informaticae, 33(4):369-396, 1998.
- (1998) Fundamenta Informaticae , vol.33 , Issue.4 , pp. 369-396
- Stark, I.¹

15
- 0034837908
- Logical relations for encryption
- IEEE
- Eijiro Sumii and Benjamin Pierce. Logical relations for encryption. In CSFW'01, pages 256-272. IEEE, 2001.
- (2001) CSFW'01 , pp. 256-272
- Sumii, E.¹ Pierce, B.²

16
- 35248817546
- Master's thesis, University of Paris 7
- Yu Zhang. Logical relations for names. Master's thesis, University of Paris 7, 2002. http://www.lsv.ens-cachan.fr/Publis/PAPERS/ZY-dea02.ps.
- (2002) Logical Relations for Names
- Zhang, Y.¹

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