default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/series/leus/leus27.bht:"
download as .bib file
@incollection{DBLP:series/leus/Atten12,
author = {Mark van Atten},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Kant and Real Numbers},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {3--23},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_1},
doi = {10.1007/978-94-007-4435-6\_1},
timestamp = {Sun, 02 Jun 2019 20:42:14 +0200},
biburl = {https://dblp.org/rec/series/leus/Atten12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Awodey12,
author = {Steven Awodey},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Type Theory and Homotopy},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {183--201},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_9},
doi = {10.1007/978-94-007-4435-6\_9},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/leus/Awodey12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/CoquandJ12,
author = {Thierry Coquand and
Guilhem Jaber},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {A Computational Interpretation of Forcing in Type Theory},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {203--213},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_10},
doi = {10.1007/978-94-007-4435-6\_10},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/CoquandJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Dybjer12a,
author = {Peter Dybjer},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Program Testing and the Meaning Explanations of Intuitionistic Type
Theory},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {215--241},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_11},
doi = {10.1007/978-94-007-4435-6\_11},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Dybjer12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Floyd12,
author = {Juliet Floyd},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Wittgenstein's Diagonal Argument: {A} Variation on Cantor and Turing},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {25--44},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_2},
doi = {10.1007/978-94-007-4435-6\_2},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Floyd12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Girard12,
author = {Jean{-}Yves Girard},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Normativity in Logic},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {243--263},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_12},
doi = {10.1007/978-94-007-4435-6\_12},
timestamp = {Sat, 30 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/leus/Girard12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Palmgren12,
author = {Erik Palmgren},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Constructivist Versus Structuralist Foundations},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {265--279},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_13},
doi = {10.1007/978-94-007-4435-6\_13},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Palmgren12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Prawitz12,
author = {Dag Prawitz},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Truth and Proof in Intuitionism},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {45--67},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_3},
doi = {10.1007/978-94-007-4435-6\_3},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Prawitz12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Ranta12,
author = {Aarne Ranta},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Machine Translation and Type Theory},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {281--311},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_14},
doi = {10.1007/978-94-007-4435-6\_14},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Ranta12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Rathjen12,
author = {Michael Rathjen},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus
of Constructions},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {313--349},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_15},
doi = {10.1007/978-94-007-4435-6\_15},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Rathjen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Sambin12,
author = {Giovanni Sambin},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Real and Ideal in Constructive Mathematics},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {69--85},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_4},
doi = {10.1007/978-94-007-4435-6\_4},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Sambin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Setzer12,
author = {Anton Setzer},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Coalgebras as Types Determined by Their Elimination Rules},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {351--369},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_16},
doi = {10.1007/978-94-007-4435-6\_16},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Setzer12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Sieg12,
author = {Wilfried Sieg},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {In the Shadow of Incompleteness: Hilbert and Gentzen},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {87--127},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_5},
doi = {10.1007/978-94-007-4435-6\_5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Sieg12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Smith12,
author = {Jan M. Smith},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Evolution and Logic},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {129--138},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_6},
doi = {10.1007/978-94-007-4435-6\_6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Smith12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Stenlund12,
author = {S{\"{o}}ren Stenlund},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {The "Middle Wittgenstein" and Modern Mathematics},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {139--159},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_7},
doi = {10.1007/978-94-007-4435-6\_7},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Stenlund12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Tait12,
author = {William W. Tait},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Primitive Recursive Arithmetic and Its Role in the Foundations of
Arithmetic: Historical and Philosophical Reflections},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {161--180},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_8},
doi = {10.1007/978-94-007-4435-6\_8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Tait12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/Vaananen12,
author = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Second Order Logic, Set Theory and Foundations of Mathematics},
booktitle = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
pages = {371--380},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6\_17},
doi = {10.1007/978-94-007-4435-6\_17},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Vaananen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/leus/Dybjer12,
editor = {Peter Dybjer and
Sten Lindstr{\"{o}}m and
Erik Palmgren and
G{\"{o}}ran Sundholm},
title = {Epistemology versus Ontology - Essays on the Philosophy and Foundations
of Mathematics in Honour of Per Martin-L{\"{o}}f},
series = {Logic, Epistemology, and the Unity of Science},
volume = {27},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-4435-6},
doi = {10.1007/978-94-007-4435-6},
isbn = {978-94-007-4434-9},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/leus/Dybjer12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-11-14 02:46 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
