Search results for "Inductive-recursive"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
142	Peter Dybjer, Anton Setzer	Indexed Induction-Recursion.	Proof Theory in Computer Science	2001	DBLP DOI BibTeX RDF	Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
119	Anton Setzer	Partial Recursive Functions in Martin-Löf Type Theory.	CiE	2006	DBLP DOI BibTeX RDF	Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
34	Robert Pollack	Dependently Typed Records in Type Theory.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Inductive-recursive, Manifest types, Signature, Module, Sharing, Dependent types, Pebble
28	Nils Anders Danielsson	A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family.	TYPES	2006	DBLP DOI BibTeX RDF
28	Peter Dybjer, Anton Setzer	A Finite Axiomatization of Inductive-Recursive Definitions.	TLCA	1999	DBLP DOI BibTeX RDF
25	Ana Bove, Venanzio Capretta	Nested General Recursion and Partiality in Type Theory.	TPHOLs	2001	DBLP DOI BibTeX RDF
24	Irene Polycarpou	Computer science students' difficulties with proofs by induction: an exploratory study.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	inductive/recursive definitions, undergraduate computer science curricula, structural induction, proofs by induction
22	Ana Bove, Peter Dybjer, Ulf Norell	A Brief Overview of Agda - A Functional Language with Dependent Types.	TPHOLs	2009	DBLP DOI BibTeX RDF
17	Daniel Gratzer	An inductive-recursive universe generic for small families.	CoRR	2022	DBLP BibTeX RDF
17	Stephan Alexander Spahn	Axiomatizations of Compositional Inductive-Recursive Definitions		2018	RDF
17	Neil Ghani, Conor McBride, Fredrik Nordvall Forsberg, Stephan Spahn	Variations on Inductive-Recursive Definitions.	MFCS	2017	DBLP DOI BibTeX RDF
17	Larry Diehl, Tim Sheard	Generic lookup and update for infinitary inductive-recursive types.	TyDe@ICFP	2016	DBLP DOI BibTeX RDF
17	Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg	Positive Inductive-Recursive Definitions.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
17	Lorenzo Malatesta	Investigations into inductive-recursive definitions.		2015	RDF
17	Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg	Positive Inductive-Recursive Definitions.	CALCO	2013	DBLP DOI BibTeX RDF
17	Peter Dybjer	A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
16	Frédéric Blanqui	Inductive Types in the Calculus of Algebraic Constructions.	TLCA	2003	DBLP DOI BibTeX RDF