There is no fulltext present in this item.

Find Full text  
Title: Formalising Exact Arithmetic in Type Theory
Author(s): Niqui, M.
Publication year: 2005
In: S. Barry Cooper, Leen Toren (ed.), New Computational Paradigms: First Conference on Computability in Europe , CiE 2005, Amsterdam, The Netherlands, June 8-12, pp. 368-377
Publisher: Berlin ; New York : Springer
ISBN: 3540261796
Publication type: Article in monograph or in proceedings

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

Display more details
Editor(s): S. Barry Cooper, Leen Toren
Subject: Foundations
Organization: Foundations
Book title: S. Barry Cooper, Leen Toren (ed.), New Computational Paradigms: First Conference on Computability in Europe , CiE 2005, Amsterdam, The Netherlands, June 8-12
Page start: p. 368
Page end: p. 377

This item appears in the following Collection(s)

Browse

Statistics