On the Constructive Content of Proofs. PhD thesis, Fakult"at f"ur Mathematik, Ludwig-Maximilians-Universit"at M"unchen, 2003. BIBLIOGRAPHY 161 [110] Paula Severi and Nora Szasz. Studies of a theory of specifications with built-in progr (2001)

by Monika Seisenberger
Venue:Journal of Automated Reasoning