You have Guest access.
Log In
Yoriyuki Yamagata
Book Chapter
Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus
René David and Karim Nour
Lecture Notes in Computer Science, 2005, Volume 3461, Typed Lambda Calculi and Applications, Pages 162-178
Expanding the Cube
Gilles Barthe
Lecture Notes in Computer Science, 1999, Volume 1578, Foundations of Software Science and Computation Structures, Page 642
Harnessing MLF with the Power of System F
Giulio Manzonetto and Paolo Tranquilli
Lecture Notes in Computer Science, 2010, Volume 6281, Mathematical Foundations of Computer Science 2010, Pages 525-536
On Strong Normalization in the Intersection Type Discipline Extended Abstract
Gérard Boudol
Lecture Notes in Computer Science, 2003, Volume 2701, Typed Lambda Calculi and Applications, Page 1086
Explicitly Typed λμ-Calculus for Polymorphism and Call-by-Value
Ken-etsu Fujita
Lecture Notes in Computer Science, 1999, Volume 1581, Typed Lambda Calculi and Applications, Page 645
Minimal Classical Logic and Control Operators
Zena M. Ariola and Hugo Herbelin
Lecture Notes in Computer Science, 2003, Volume 2719, Automata, Languages and Programming, Page 193
Union of Reducibility Candidates for Orthogonal Constructor Rewriting
Colin Riba
Lecture Notes in Computer Science, 2008, Volume 5028, Logic and Theory of Algorithms, Pages 498-510
The Maximum Length of Mu-Reduction in Lambda Mu-Calculus
Makoto Tatsuta
Lecture Notes in Computer Science, 2007, Volume 4533, Term Rewriting and Applications, Pages 359-373
Simple Saturated Sets for Disjunction and Second-Order Existential Quantification
Lecture Notes in Computer Science, 2007, Volume 4583, Typed Lambda Calculi and Applications, Pages 366-380
Mixed Inductive/Coinductive Types and Strong Normalization
Andreas Abel
Lecture Notes in Computer Science, 2007, Volume 4807, Programming Languages and Systems, Pages 286-301
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info