La lecture en ligne est gratuite
Read Download

Share this publication

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 dale@cis.upenn.edu
Some corrections have been made on 5 July 1992.
slides/acireale/root
1