"Metalevel Programming in Constructive Type Theory"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Twenty Five Years of Constructive Type Theory	Giovanni Sambin; Jan M Smith	1998	Oxford University Press
History and Philosophy of Constructive Type Theory	Giovanni Sommaruga	2000	Springer Netherlands
Constructive function theory /	Natanson, I. P.	[1965]	F. Ungar,
Constructive measure theory	Errett Bishop, Henry Cheng	©1972	American Mathematical Society
Constructive function theory	I. P. Natanson	1964-	Ungar
Constructive function theory	I. P. Natanson	1964	Ungar
Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure	Wen-tsün Wu	1987	Springer Berlin Heidelberg
Recent Advances in Constructive Approximation Theory	Vijay Gupta; Themistocles M. Rassias; P. N. Agrawal; Ana Maria Acu	1st ed. 2018	Springer International Publishing
Information and Knowledge: A Constructive Type-theoretical Approach	Giuseppe Primiero	2008	Springer Netherlands
Constructive Quantum Field Theory II	G. Velo; A.S. Wightman	1990	Springer US
Diagram Design: A Constructive Theory	Thomas Kamps	1999	Springer Berlin Heidelberg
Computational and Constructive Design Theory	W.D. Wallis	1996	Springer US
Constructive Controversy: Theory, Research, Practice	David W. Johnson	2015-06	Cambridge University Press
Foundations of Constructive Probability Theory	Yuen-Kwok Chan	2021-05	Cambridge University Press
Constructive Controversy: Theory, Research, Practice	Johnson, David W.; Roger T. Johnson	2015	Cambridge University Press
Constructive typology and social theory	John C. McKinney	1966	Appleton-Century-Crofts
Noncommutative Polynomial Algebras of Solvable Type and Their Modules: Basic Constructive-Computational Theory and Methods	Huishi Li	2021	Routledge
Extensional Constructs in Intensional Type Theory	Martin Hofmann	1997	Springer London
Truncation levels in homotopy type theory	Nicolai Kraus	2015
A Transfinite Type Theory with Type Variables	P.B. Andrews	1965	Elsevier
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Metalevel Programming in Constructive Type Theory	Robert L. Constable	Programming and Mathematical Method: International Summer School	Manfred Broy	1992	Springer Berlin Heidelberg
ML programming in constructive type theory	Robert L. Constable	Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs' 97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings	Elsa L. Gunter; Amy Felty	1997	Springer Berlin Heidelberg
Constructive Type Theory		Isabelle: A Generic Theorem Prover	Lawrence C. Paulson	1994	Springer Berlin Heidelberg
Constructive Type Theory	Aarne Ranta	The Handbook of Contemporary Semantic Theory	Shalom Lappin	2015	John Wiley & Sons
Hardware synthesis in constructive type theory	Dany Suk	Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford	Geraint Jones; Mary Sheeran	1991	Springer London
Type theory in programming languages		The Type Theory of Lean [Thesis]	Mario Carneiro	2019
Constructive Type Theory—An Introduction	Roland C. Backhouse	Constructive Methods in Computing Science: International Summer School directed by F. L. Bauer, M. Broy, E. W. Dijkstra, C. A. R. Hoare	Manfred Broy	1989	Springer Berlin Heidelberg
Type theory and programming		Chaotic Fishponds and Mirror Universes: The Strange Maths Behind the Modern World	Richard Elwes	2013	Quercus
A programming-type theory		Income and wealth	Edward Ames	1969	Holt, Rinehart and Winston
About Effective Quotients in Constructive Type Theory	Maria Emilia Maietti	Types for Proofs and Programs: International Workshop, TYPES ' 98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers	Thorsten Altenkirch; Wolfgang Naraschewski; Bernhard Reus	1999	Springer Berlin Heidelberg
Towards Constructive Homological Algebra in Type Theory	Thierry Coquand; Arnaud Spiwack	Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings	Manuel Kauers; Manfred Kerber; Robert Miner; Wolfgang Windsteiger	2007	Springer Berlin Heidelberg
Exploring abstract algebra in constructive type theory	Paul Jackson	Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings	Alan Bundy	1994	Springer Berlin Heidelberg
Expressing computational complexity in constructive type theory	Robert L. Constable	Logic and Computational Complexity: International Workshop, LCC ' 94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers	Daniel Leivant	1995	Springer Berlin Heidelberg
Recursively Defined Types in Constructive Type Theory	PRAKASH PANANGADEN; PAUL MENDLER; MICHAEL I. SCHWARTZBACH	Algebraic Techniques	Hassan Aït-Kaci; Maurice Nivat	1989	Academic Press
Hereditarily Finite Sets in Constructive Type Theory	Gert Smolka; Kathrin Stark	Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings	Jasmin Christian Blanchette; Stephan Merz	1st ed. 2016	Springer International Publishing
Brief Reminder of Constructive Type Theory	Nicolas Clerbout; Shahid Rahman	Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice	Nicolas Clerbout; Shahid Rahman	2015	Springer International Publishing
Reflective semantics of constructive type theory	Scott F. Smith	Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings	J.Paul Jr. Myers; Michael J. O'Donnell	1992	Springer Berlin Heidelberg
Constructive Type Theory: Foundation and Formalization		Information and Knowledge: A Constructive Type-theoretical Approach	Giuseppe Primiero	2008	Springer Netherlands
Towards the theory of programming in constructive logic	A. A. Voronkov	ESOP ' 90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings	Neil Jones	1990	Springer Berlin Heidelberg
Topics in constructive type theory: introduction / Gerard Huet		Logical foundations of functional programming	Gérard Huet	1990	Addison-Wesley, Addison-Wesley Pub (Sd)
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Metalevel Programming in Constructive Type Theory" - similar Books and Chapters