Media type: E-Book; Conference Proceedings Title: Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers Contributor: Barendregt, Hendrik P. [Author]; Nipkow, Tobias [Other] Published: Berlin, Heidelberg: Springer Berlin Heidelberg, 1994 Published in: Lecture notes in computer science ; 806 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/3-540-58085-9 ISBN: 9783540484400 Identifier: RVK notation: SS 4800 : Lecture notes in computer science ST 130 : Allgemeines Keywords: Typentheorie Beweistheorie Benutzeroberfläche Origination: Footnote: