There is no fulltext present in this item.

Find Full text  
Title: Mizar's Soft Type System
Author(s): Wiedijk, Freek
Publication year: 2007
In: Schneider, K.; Brandt, J. (ed.), Theorem Proving in Higher Order Logics 2007, pp. 383-399
Publisher: Berlin ; New York : Springer
ISBN: 3540745904
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/34486   https://hdl.handle.net/2066/34486

Display more details
Editor(s): Schneider, K.; Brandt, J.
Subject: Foundations
Organization: Foundations
Book title: Schneider, K.; Brandt, J. (ed.), Theorem Proving in Higher Order Logics 2007
Page start: p. 383
Page end: p. 399

This item appears in the following Collection(s)

Browse

Statistics