Constructivity's library 28 articles Export

	Parallel functional programming at two levels of abstraction [My Copy] In PPDP '01: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (2001), pp. 187-198. by Ricardo, Fernando Rubio posted to functional-programming parallelization by Constructivity on 2007-10-11 11:17:44 as
	Geometric And Higher Order Logic In Terms Of Abstract Stone Duality [My Copy] by Paul Taylor posted to abstract-stone-duality by Constructivity on 2007-10-11 11:06:08 as along with 1 person noam_zeilberger
	Computing the acceptability semantics [My Copy] Logic Programming and Nonmonotonic Reasoning (1995), pp. 401-415. by Francesca Toni, Antonios Kakas posted to constructive-proof-theory by Constructivity on 2007-10-11 10:51:56 as
	Should the Logic of Set Theory be Intuitionistic? [My Copy] Proceedings of the Aristotelian Society, Vol. 101, No. 3. (2001), pp. 369-378. by Alexander Paseau posted to intuitionistic-set-theory by Constructivity on 2007-10-10 14:15:23 as
	Heyting-valued models for intuitionistic set theory [My Copy] Applications of Sheaves (1979), pp. 402-414. by R. Grayson posted to intuitionistic-set-theory by Constructivity on 2007-10-10 13:55:37 as
	Functional Programming and Linear Logic [My Copy] (1989) by Yves Lafont posted to functional-programming linear-logic by Constructivity on 2007-10-10 13:37:00 as
	Constructive dimension equals Kolmogorov complexity [My Copy] Inf. Process. Lett., Vol. 93, No. 3. (February 2005), pp. 149-153. by Ludwig Staiger posted to constructive-dimension descriptive-complexity by Constructivity on 2007-10-10 00:13:38 as along with 1 person Scis0000002
	The Structure Of The Distributive Lattice Of Games [My Copy] by Born B. Day posted to distributive-lattice games by Constructivity on 2007-10-09 23:59:07 as
	Entailment relations and distributive lattices [My Copy] (1998) by J. Cederquist, T. Coquand posted to distributive-lattices entailment-relations by Constructivity on 2007-10-09 23:57:12 as
	Compact Spaces and Distributive Lattices [My Copy] by Thierry Coquand posted to distributive-lattices by Constructivity on 2007-10-09 23:53:48 as
	Realization of Constructive Set Theory into Explicit Mathematics: a lower bound for impredicative Mahlo universe [My Copy] by S. Tupailo posted to constructive-mathematics constructive-set-theory by Constructivity on 2007-10-09 23:50:45 as
	Constructive Mathematics and Computer Programming [My Copy] Royal Society of London Philosophical Transactions Series A, Vol. 312 (October 1984), pp. 501-518. by P. Martin-Lof posted to constructive-mathematics by Constructivity on 2007-10-09 23:39:37 as along with 5 people and 1 group pirapira ansobol jrw Scis0000002 jimburton Lambda the Ultimate
	Programming in Constructive Set Theory: Some examples [My Copy] In FPCA '81: Proceedings of the 1981 conference on Functional programming languages and computer architecture (1981), pp. 141-154. by Bengt Nordström posted to constructive-set-theory by Constructivity on 2007-10-09 23:38:46 as
	A mechanically assisted constructive proof in category theory [My Copy] 10th International Conference on Automated Deduction (1990), pp. 500-513. by James Altucher, Prakash Panangaden posted to category-theory by Constructivity on 2007-10-09 23:09:23 as
	Program transformation in constructive type theory [My Copy] SIGPLAN Not., Vol. 30, No. 1. (January 1995), pp. 11-19. by Ming-Yuan Zhu posted to constructive-type-theory program-transformation by Constructivity on 2007-10-09 22:55:15 as
	Complex Non-linear Biodynamics in Categories, Higher Dimensional Algebra and Łukasiewicz–Moisil Topos: Transformations of Neuronal, Genetic and Neoplastic Networks [My Copy] Axiomathes, Vol. 16, No. 1. (15 March 2006), pp. 65-122. by I. Baianu, R. Brown, G. Georgescu, J. Glazebrook posted to hyperlogics lukasiewicz-logic by Constructivity on 2007-10-09 00:55:10 as along with 2 people Scis0000002 CurAbility
	An Hypersequent Calculus for L/ukasiewicz Logic [My Copy] by Without T. Merge posted to hyperlogics hypersequents lukasiewicz-logic by Constructivity on 2007-10-09 00:44:40 as
	The method of hypersequents in the proof theory of propositional non-classical logics [My Copy] In Logic: from foundations to applications. Proc. Logic Colloquium, Keele, UK, 1993 (1996), pp. 1-32. by Arnon Avron edited by Wilfrid Hodges, Martin Hyland, Charles Steinhorn, John Truss posted to hypersequents by Constructivity on 2007-10-09 00:43:39 as
	Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) [My Copy] (25 March 1988) by J. Lambek, P. J. Scott posted to categorical-logic domain-theory higher-order topos-theory by Constructivity on 2007-10-09 00:39:41 as along with 2 people Benja DavidChemouil
	Parallel Dialogue Games and Hypersequents for Intermediate Logics [My Copy] Automated Reasoning with Analytic Tableaux and Related Methods (2003), pp. 48-64. by Christian Fermüller posted to dialogical-logic hypersequents by Constructivity on 2007-10-09 00:32:27 as
	From intuitionistic logic to godel-dummett logic via parallel dialogue games [My Copy] Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on In Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on (2003), pp. 188-193. by C. G. Fermuller, A. Ciabattoni posted to argumentation-games computability-logic dialogical-logic dialogue-games field-computing game-logic game-logics hypernetworks intuitionistic-logic parallelization polylogues strategies by Constructivity on 2007-10-09 00:12:39 as along with 1 person cangaru
	A complete axiomatization of higher-order intuitionistic logic [My Copy] (2001) by M. Coniglio, C. Sernadas posted to higher-order intuitionistic-logic by Constructivity on 2007-10-09 00:01:34 as along with 1 person scis0000001
	Against intuitionism: Constructive mathematics is part of classical mathematics [My Copy] Journal of Philosophical Logic, Vol. 12, No. 2. (1 May 1983), pp. 173-195. by W. W. Tait posted to classical-logics classical-mathematics constructive-mathematics intuitionism intuitionistic-logic intuitionistic-logics by Constructivity on 2007-10-08 23:53:21 as along with 1 person msakai
	From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides) [My Copy] (16 November 2005) posted to constructive-mathematics by Constructivity on 2007-10-08 23:50:45 as
	Constructive Mathematics in Theory and Programming Practice [My Copy] Philosophia Mathematica, Vol. 7, No. 1. (1 February 1999), pp. 65-104. by Douglas Bridges, Steeve Reeves posted to constructive-mathematics by Constructivity on 2007-10-08 23:44:48 as
	Constructive Lattice Theory [My Copy] (1993) by Ronald Backhouse posted to constructive-lattice-theory by Constructivity on 2007-10-08 23:37:18 as along with 1 person glaubersp
	Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides) [My Copy] (13 November 1998) by Giovanni Sambin, Jan M. Smith posted to algorithmic-information-theory constructive-type-theory descriptive-complexity functional-programming generalized-kolmogorov-complexity information-content information-distance by Constructivity on 2007-10-08 23:29:44 as along with 1 person jimburton
	Constructive category theory [My Copy] (2000), pp. 239-275. by Gérarde Huet, Amokrane Sa\ibi posted to constructive-category-theory by Constructivity on 2007-10-08 23:25:23 as

Note: You may cite this page as: http://www.citeulike.org/user/Constructivity

constructive-mathematics	5
intuitionistic-logic	3
functional-programming	3
hypersequents	3
lukasiewicz-logic	2
higher-order	2
constructive-type-theory	2
descriptive-complexity	2
intuitionistic-set-theory	2
dialogical-logic	2
hyperlogics	2
parallelization	2
constructive-set-theory	2
distributive-lattices	2
dialogue-games	1
constructive-dimension	1
constructive-category-theory	1
classical-mathematics	1
polylogues	1
entailment-relations	1
hypernetworks	1
computability-logic	1
strategies	1
intuitionistic-logics	1
constructive-lattice-theory	1
algorithmic-information-theory	1
category-theory	1
argumentation-games	1
program-transformation	1
generalized-kolmogorov-complexity	1
information-distance	1
linear-logic	1
classical-logics	1
distributive-lattice	1
game-logics	1
field-computing	1
information-content	1
abstract-stone-duality	1
game-logic	1
constructive-proof-theory	1
topos-theory	1
domain-theory	1
games	1
categorical-logic	1
intuitionism	1

Constructivity's library 28 articles Export

Constructivity's tags