Higher-order abstract syntax in type theory

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Logic Colloquium (2006 : Nimwegen) Logic Colloquium 2006
1. Verfasser:	Capretta, Venanzio (VerfasserIn)
Weitere Verfasser:	Felty, Amy P. (VerfasserIn)
Pages:	2006
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2009
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Definability and elementary equivalence in the Ershov difference hierarchy	2009	Arslanov, Marat M.
Brief introduction to unprovability	2009	Bovykin, Andrey
Applications of logic in algebra: Examples from clone theory	2009	Goldstern, Martin
The sixth lecture on algorithmic randomness	2009	Downey, Rod
On finite imaginaries	2009	Hrushovski, Ehud
An introduction to b-minimality	2009	Cluckers, Raf
The inevitability of logical strength: Strict reverse mathematics	2009	Friedman, Harvey M.
Randomness— beyond Lebesgue measure	2009	Reimann, Jan
Hrushovski’s amalgamation construction	2009	Wagner, Frank O.
Higher-order abstract syntax in type theory	2009	Capretta, Venanzio
Embeddings into the Turing degrees	2009	Montalbán, Antonio
The derived model theorem	2009	Steel, J. R.
Forcing axioms and cardinal arithmetic	2009	Veličković, Boban
A unified approach to algebraic set theory	2009	Berg, Benno van den
Strong minimal covers and a question of Yates: The story so far	2009	Lewis, Andrew E. M.