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 |
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
LOCATION | CALL# | STATUS |
---|---|---|
Central Library (4th Floor) | 004.015113 P975P | CHECK SHELVES |