Search 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}
}