1-4 of 4
Authors: Laura Crosilla
Save search
Sort by
Journal Article

A generalized cut characterization of the fullness axiom in CZF Get access

PDF
Laura Crosilla and others
Logic Journal of the IGPL, Volume 21, Issue 1, February 2013, Pages 63–76, https://doi.org/10.1093/jigpal/jzs022
Published: 02 July 2012
Book

From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics Get access

Laura Crosilla (ed.) and Peter Schuster (ed.)
Published online: 01 September 2007
Published in print: 06 October 2005
Chapter

INTRODUCTION Get access

in From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics
Published: 06 October 2005
Chapter

Constructive Type Theory, An Appetizer Get access

Laura Crosilla
in Higher-Order Metaphysics
Published: 21 March 2024