Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Parigot, Michel
2000.
Computer Science Logic.
Vol. 1862,
Issue. ,
p.
472.
Parigot, Michel
2000.
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science.
Vol. 1974,
Issue. ,
p.
442.
Hasegawa, Masahito
and
Kakutani, Yoshihiko
2001.
Foundations of Software Science and Computation Structures.
Vol. 2030,
Issue. ,
p.
246.
Selinger, Peter
2001.
Typed Lambda Calculi and Applications.
Vol. 2044,
Issue. ,
p.
6.
Führmann, Carsten
2002.
Foundations of Software Science and Computation Structures.
Vol. 2303,
Issue. ,
p.
144.
Hyland, J.M.E.
2002.
Proof theory in the abstract.
Annals of Pure and Applied Logic,
Vol. 114,
Issue. 1-3,
p.
43.
Kakutani, Yoshihiko
2002.
Computer Science Logic.
Vol. 2471,
Issue. ,
p.
506.
Laurent, O.
2002.
Polarized games.
p.
265.
Fujita, Ken-etsu
2002.
An interpretation of -calculus in -calculus.
Information Processing Letters,
Vol. 84,
Issue. 5,
p.
261.
Ogata, Ichiro
2002.
Computer Science Logic.
Vol. 2471,
Issue. ,
p.
490.
Montelatici, Raphaël
2003.
Typed Lambda Calculi and Applications.
Vol. 2701,
Issue. ,
p.
256.
Wadler, Philip
2003.
Call-by-value is dual to call-by-name.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 9,
p.
189.
Laurent, O.
and
Regnier, L.
2003.
About translations of classical logic into polarized linear logic.
p.
11.
Laurent, Olivier
2003.
Polarized proof-nets and λμ-calculus.
Theoretical Computer Science,
Vol. 290,
Issue. 1,
p.
161.
Kakutani, Yoshihiko
and
Hasegawa, Masahito
2003.
Typed Lambda Calculi and Applications.
Vol. 2701,
Issue. ,
p.
180.
Wadler, Philip
2003.
Call-by-value is dual to call-by-name.
p.
189.
Fujita, Ken-etsu
2003.
Typed Lambda Calculi and Applications.
Vol. 2701,
Issue. ,
p.
120.
Levy, Paul Blain
2003.
Adjunction Models For Call-By-Push-Value With Stacks.
Electronic Notes in Theoretical Computer Science,
Vol. 69,
Issue. ,
p.
248.
Hasegawa, Masahito
2004.
Functional and Logic Programming.
Vol. 2998,
Issue. ,
p.
229.
Laurent, Olivier
2004.
Polarized games.
Annals of Pure and Applied Logic,
Vol. 130,
Issue. 1-3,
p.
79.