Active Bibliography

576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
879 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
488 The mathematics of sentence structure – Joachim Lambek, Joachim Lambek
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
47 Should Your Specification Language Be Typed? – Leslie Lamport , Lawrence C. Paulson - 1999
Doktors der Naturwissenschaften (Dr. rer. nat.) genehmigten Dissertation. – Konrad Slind, Vorsitzende Univ. -prof, Dr. Angelika, Steger Pr"ufer Dissertation, Univ. -prof Tobias Nipkow, Ph. D. Univ. -prof, David Basin, Ph. D
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990