"Recursively Defined Types 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 Order Types	John N. Crossley	1969	Elsevier
Constructive order types.	John N. Crossley	1969	North-Holland Pub. Co.
The 16 Personality Types: Profiles, Theory, & Type Development	A.J. Drenth	2013	Andrew Drenth
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
Careers for Hard Hats & Other Constructive Types	Margaret Gisler	April 3, 2001	McGraw-Hill Companies
[Texts about type and type-founding set in a variety of types] /	American Type Founders Company
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
A book of type and types	Robert B. Warden	1885	Ernest institute
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
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
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
Recursively-defined Functions on Recursively-defined Data Types		Discrete mathematics	Akerkar, Rupali; Akerkar, Rajendra	2004;2008	Pearson
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
Domain Theory 2 Recursively deﬁned Functions		Denotational Semantics. A Methodology for Language Development	David A. Schmidt	2006	Kansas State University
Recursively Defined Predicates	R. R. Rockingham Gill	Deducibility and Decidability	R. R. Rockingham Gill	1990	Routledge
recursively defined sequence	Martin H. Weik	Computer Science and Communications Dictionary	Martin Weik	2001	Springer US
Recursively Defined Sequences		Precalculus. A prelude to calculus	Axler S	2017	Wiley
Recursively Defined Sequences		Precalculus: A Prelude to Calculus	Sheldon Jay Axler	2016	John Wiley & Sons Inc
Recursively-defined structures		Notes on Discrete Mathematics	James Aspnes	2021
Recursively Defined Sequences		Precalculus: A Prelude to Calculus	Axler, Sheldon	2012	Wiley
Recursively Defined Functions		Logical Methods: The Art of Thinking Abstractly and Mathematically	Roger Antonsen	2021	Springer
SEQUENCES DEFINED RECURSIVELY		Calculus Early Transcendentals Combined	Howard Anton, Irl C. Bivens, Stephen Davis	2008	Wiley
Recursively defined Functions		Denotational Semantics. A Methodology for Language Development	David A. Schmidt	2006	Kansas State University
A completeness theorem for recursively defined types	M. Coppo	Automata, Languages and Programming: 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings	Wilfried Brauer	1985	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
Metalevel Programming in Constructive Type Theory	Robert L. Constable	Programming and Mathematical Method: International Summer School	Manfred Broy	1992	Springer Berlin Heidelberg
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
Recursively defined complex objects	Winfried Lamersdorf	Nested Relations and Complex Objects in Databases	S. Abiteboul; P. C. Fischer; H. -J. Schek	1989	Springer Berlin Heidelberg
Recursively defined tree transductions	Jean-Claude Raoult	Rewriting Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings	Claude Kirchner	1993	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Recursively Defined Types in Constructive Type Theory" - similar Books and Chapters