Formal Topologies on the Set of First-Order Formulae (1998)

Cached

Download Links

by Thierry Coquand , Sara Sadocco , Giovanni Sambin , Jan M. Smith
Venue:Journal of Symbolic Logic
Citations:1 - 1 self

Documents Related by Co-Citation

2 On the Effect of Subsidies to Basic Food Commodities in Egypt – J Cederquist, T Coquand, S Negri - 1990
2 The continuum as a formal space, Archive for Mathematical Logic – S Negri, D Soravia - 1999
1 A urnform prcsctatio of sup-lattices, quatalcs ad framcs by mcas of mfi'itary prcordcred sets, prctopologics ad formal topologies, Preprint n. 19, Dipartimento di Matematica, Universirk di Padova – G BATTILOTTI, G SAMBIN - 1993
1 ad a miform presetatio of sup-lattices, quatales ad frames – Pretopologies - 2001
1 Fomdatios of costructive aalysis, McGraw-Hill 1967. 5 Galilei (while having breakfast): "On the base of our researches, Ms. Sarti, we have made discoveries which we can no longer keep hidden to the world. A new time has begun, a great era in which to – E BISHOP
1 Schizophrema m cotemporary mathematics, in Errerr Bishop: reflections on him and his research – BISHOP - 1985
1 Etailmet relatios ad distributive lattices – J CEDERQUIST, T COQUAND
1 A mtuitiomstic proof of Tychooff's theorem – T COQUAND - 1992
1 Iductively geeratedformal topologies, Annals of Pure and Applied Logic – T COQUAND, G SAMBIN, J SMITH, S VALENTINI
1 Aalisi costruttiva ella teoria dei tipi: topologie formall co diametro e distaza, Tesi di laurea – G CURI - 1998
1 Outline of geeral topology – R ENGELKING - 1968
1 The essece of cotmuity (the Basic Picture, II), Preprint n. 27, Dipartimento di Matematica, Universit di Padova, December 2001 Pomtfi'ee cotmuity ad covergece (the Basic Picture, IV – S GEBELLATO, G SAMBIN - 2001
1 About ective quotiets m costructive type theory, in Types for Proofs and Programs – M E MAIETTI - 1999
1 Ca?I you add power-sets to Martm-LSf's mtuitiomstic set theory?, Mathematical Logic Quarterly 45 – M E MAIETTI, S VALENTINI - 1999
1 Tychoi'loJ' theorem in the fi'amework of formal topologies – S NEGRI, S VALENTINI - 1997
1 Programming in Martin-LSf's Type Theory, an introduction – B NORDSTR - 1990
1 spaces and their interToretation as concurrent objects, in Computer Science Today: Recent Trends and Developments – V PRATT, Chu - 1995
1 Building up a toolbox for Martin-LSf's type theory: subset theory, in Twenty-five years of constructive type theory – G SAMBIN, S VALENTINI - 1995
1 Formal spaces and their ective presentations, Archive for Mathematical Logic 34 – I SIGSTAM - 1995