カリー＝ハワード同型対応
on Principles of Programming Languages, POPL '90, San Francisco, CA, USA, 17–19 Jan 1990, pp. 47–57 .
Parigot, Michel (1992), “Lambda-mu-calculus: An algorithmic interpretation of classical natural deduction”, Logic Programming and Automated Reasoning: International Conference LPAR '92 Proceedings, St. Petersburg, Russia, Lecture Notes in Computer Science, 624, Berlin; New York: Springer-Verlag, pp. 190–201, ISBN 978-3-540-55727-2 .
Herbelin, Hugo (1995), “A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure”, in Pacholski, Leszek; Tiuryn, Jerzy, Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25–30, 1994, Selected Papers, Lecture Notes in Computer Science, 933, Berlin; New York: Springer-Verlag, pp.