You have Guest access.
Log In
Ulrich Berger, Matthias Eberl and Helmut Schwichtenberg
Book Chapter
Formal verification of algorithm W: The monomorphic case
Dieter Nazareth and Tobias Nipkow
Lecture Notes in Computer Science, 1996, Volume 1125, Theorem Proving in Higher Order Logics, Pages 331-345
Journal Article
Program Extraction from Normalization Proofs
Ulrich Berger, Stefan Berghofer, Pierre Letouzey and Helmut Schwichtenberg
Studia Logica, 2006, Volume 82, Number 1, Pages 25-49
Normalization by Evaluation for the Computational Lambda-Calculus
Andrzej Filinski
Lecture Notes in Computer Science, 2001, Volume 2044, Typed Lambda Calculi and Applications, Pages 151-165
Theory of Judgments and Derivations Dedicated to the Memory of Professor Katuzi Ono
Masahiko Sato
Lecture Notes in Computer Science, 2002, Volume 2281, Progress in Discovery Science, Pages 207-212
CAL: A Computer Assisted Learning System for Computation and Logic
Masahiko Sato, Yukiyoshi Kameyama and Takeuti Izumi
Lecture Notes in Computer Science, 2001, Volume 2178, Computer Aided Systems Theory — EUROCAST 2001, Pages 167-192
A simply typed context calculus with first-class environments
Masahiko Sato, Takafumi Sakurai and Yukiyoshi Kameyama
Lecture Notes in Computer Science, 2001, Volume 2024, Functional and Logic Programming, Pages 359-374
Extracting Herbrand disjunctions by functional interpretation
Philipp Gerhardy and Ulrich Kohlenbach
Archive for Mathematical Logic, 2005, Volume 44, Number 5, Pages 633-644
Determinacy Analysis for Logic Programs Using Mode and Type Information
P. López-García, F. Bueno and M. Hermenegildo
Lecture Notes in Computer Science, 2005, Volume 3573, Logic Based Program Synthesis and Transformation, Pages 997-1003
Rule Modeling and Markup
Gerd Wagner
Lecture Notes in Computer Science, 2005, Volume 3564, Reasoning Web, Page 96
Polytypic Values Possess Polykinded Types
Ralf Hinze
Lecture Notes in Computer Science, 2000, Volume 1837, Mathematics of Program Construction, Pages 2-27
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