Logic in Logic Programming: Sequent Calculus, Higher-Orders, and Linear Logic
Fourth International School for Computer Science Researchers Acireale, Sicily
29 June – 3 July 1992
Dale Miller Computer Science Department University of Pennsylvania Philadelphia, PA 19104–6389 USA firstname.lastname@example.org
Some corrections have been made on 5 July 1992.