Constructive function theory - PDFSEARCH.IO - Document Search Engine

Constructive function theory
Results: 27

#	Item
1	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function
2	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:36 Homotopy theory General topology Topology Contractible space Connected space Homotopy Univalent foundations Topological space Continuous function
3	On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:17 Constructivism Mathematics Computability theory Mathematical logic Mathematical proofs Functions and mappings Abstraction Proof theory Realizability Constructive proof Primitive recursive function operator
4	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:52 Deduction Geometric group theory Orbifold Curry–Howard correspondence Mathematics Function Proof theory
5	Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-02-23 10:00:40 Mathematical logic Mathematical constructivism Constructivism Type theory Mathematical proof Function Constructive proof Constructive set theory Mathematics Epistemology Logic
6	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:49 Set theory Principia Mathematica Science Function Type theory Extensionality Zermelo–Fraenkel set theory Logicism Mathematics Mathematical logic Logic
7	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:55 Topological spaces Contractible space Homotopy Connected space Continuous function Topology General topology Homotopy theory
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 Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-07-19 08:49:25 Functions and mappings Function Entailment Universal property Μ operator Linear temporal logic Mathematics Logic Mathematical logic
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 Add to Reading List Source URL: iridia.ulb.ac.be Language: English - Date: 2007-06-27 08:53:52 Computability theory Theory of computation Quantum measurement Alan Turing Quantum mechanics Church–Turing thesis Computable function Quantum indeterminacy Indeterminacy Theoretical computer science Physics Science
10	Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions (full version) Daniel Kraschewski J¨orn M¨ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2011-04-04 07:41:10 Communication Function Inverse function Information theory Bijection Combinatory logic Finitary relation Mathematics Functions and mappings Mathematical logic

UPDATE