메뉴 건너뛰기
Electronic Notes in Theoretical Computer Science
Volumn 3, Issue C, 1996, Pages 40-60
Reversible, Irreversible and Optimal λ-machines. Extended abstract
Author keywords

abstract machines; geometry of interaction; reversible computations; calculus
Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; MATHEMATICAL OPERATORS; OPTIMIZATION;
EID: 19144365844     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80402-5     Document Type: Article
Times cited : (19)
References (15)
  • 1
    • 84916565433 scopus 로고    scopus 로고
    • th ACM Symposium on Principles of Programming Languages, pages 15–26, 1992.
  • 2
    • 84916565432 scopus 로고    scopus 로고
    • th Symposium on Logic in Computer-Science. IEEE Computer Society Press, 1994.
  • 6
    • 84916565430 scopus 로고    scopus 로고
    • th Symposium on Logic in Computer Science. IEEE Computer Society Press, 1993.
  • 8
    • 84916565429 scopus 로고    scopus 로고
    • Jean-Yves Girard. Geometry of interaction I: an interpretation of system F. In Ferro & al., editor, Proceedings of A.S.L. Meetings. North-Holland, 1988.
  • 9
    • 84916565428 scopus 로고    scopus 로고
    • Jean-Yves Girard. Geometry of interaction II: Deadlock free algorithms. In Martin-Löf & Mints, editor, Proceedings of COLOG'88, volume 417 of Lecture Notes in Computer Science, pages 76-93. Springer-Verlag, 1988.
  • 13
    • 84916565426 scopus 로고    scopus 로고
    • th ACM Symposium on Principles of Programming Languages, 1995.

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