1![Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen](https://www.pdfsearch.io/img/877908c7c27d9ad95805259a7126fb27.jpg) | Add to Reading ListSource URL: www.olejohandahl.infoLanguage: English - Date: 2013-09-23 13:44:35
|
---|
2![Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg](https://www.pdfsearch.io/img/6f3aba97e12d65284ff5bc2b448ca039.jpg) | Add to Reading ListSource URL: events.cs.bham.ac.ukLanguage: English - Date: 2012-04-26 12:08:36
|
---|
3![On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade](https://www.pdfsearch.io/img/4616a23f2b520bcc47f7a836e8633f7e.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-12 10:34:17
|
---|
4![Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg](https://www.pdfsearch.io/img/0d30ed9bd1833cce38146191d0500467.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-05-03 11:20:52
|
---|
5![Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014
Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014
Type Theory and Constructive Mathematics](https://www.pdfsearch.io/img/d4f9c19cd82d53de13b6f54fd5b10eda.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2014-02-23 10:00:40
|
---|
6![Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg](https://www.pdfsearch.io/img/696aa89ae63763a662dbc3137debe8a0.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-05-03 11:20:49
|
---|
7![Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg](https://www.pdfsearch.io/img/8b9bc10e1f6e8be34cb69d7961efaaca.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-05-03 11:20:55
|
---|
8![1. Thanks to organizers for the invitation. 2. The first part of the work is joint with Kazuto Yoshimura from JAIST. Reductions in computability theory from a constructive point of view 1. Thanks to organizers for the invitation. 2. The first part of the work is joint with Kazuto Yoshimura from JAIST. Reductions in computability theory from a constructive point of view](https://www.pdfsearch.io/img/49aef45bacb04173c4631647a8f83aeb.jpg) | Add to Reading ListSource URL: math.andrej.comLanguage: English - Date: 2014-07-19 08:49:25
|
---|
9![The Origin of Physical Laws and Sensations Bruno Marchal, IRIDIA, Université de Bruxelles Résumé : I will first present a non constructive argument showing that the mechanist hypothesis in cognitive science gives enou The Origin of Physical Laws and Sensations Bruno Marchal, IRIDIA, Université de Bruxelles Résumé : I will first present a non constructive argument showing that the mechanist hypothesis in cognitive science gives enou](https://www.pdfsearch.io/img/468beae3a262f05530abad21219d41d4.jpg) | Add to Reading ListSource URL: iridia.ulb.ac.beLanguage: English - Date: 2007-06-27 08:53:52
|
---|
10![Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions (full version) Daniel Kraschewski J¨orn M¨ Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions (full version) Daniel Kraschewski J¨orn M¨](https://www.pdfsearch.io/img/4d5964e5a6f0d7c816dbd40d6fda5ac0.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2011-04-04 07:41:10
|
---|