Annals of Pure and Applied Logic, Volume 97
Volume 97, Numbers 1-3, 21 March 1999
- Fairouz Kamareddine, Roel Bloo, Rob Nederpelt:
On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations. 27-45 - Oleg V. Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin:
Extended Order-Generic Queries. 85-125 - Norman Danner:
Ordinals and Ordinal Functions Representable in the Simply Typed lambda Calculus. 179-201 - Georg Gottlob, Nicola Leone, Helmut Veith:
Succinctness as a Source of Complexity in Logical Formalisms. 231-260