Proof theory and formal grammars: applications of normalization (2003)

by Hans-Jörg Tiede
Venue:In Benedikt Löwe, Wolfgang Malzkom, and Thoralf Räsch, editors, Foundations of the formal sciences II