Proof theory in computer science : International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stark (eds.)

Author	PTCS 2001 (2001 : Dahgstuhl Castle)
Title	Proof theory in computer science : International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stark (eds.)
Imprint	Berlin : Springer, c2001
Descript	viii, 238 p. ; 24 cm

CONTENT

Linea ramofied higher type recursion and parallel complexity -- Cut-elimination methods -- Coherent bicartesian and sesquicartesian categories -- Indexed induction-recursion -- Modeling meta-logical features in a calculus with frozen variables -- Post-turing analysis -- Interpolation for natural deduction with generalized eliminations -- Implicit characterizations of Pspace -- Iterate logic -- Constructive foundations for featherweight Java

Automatic theorem proving -- Congresses

LOCATION	CALL#	STATUS
Central Library (4th Floor)	004.015113 P975P	CHECK SHELVES

Chulalinet's Book Delivery Request