Počet záznamů: 1

Eta-rules in Martin-Löf type theory

SYSNO	0510497
Název	Eta-rules in Martin-Löf type theory
Tvůrce(i)	Klev, Ansten (FLU-F)_{ORCID, RID, SAI}
Zdroj.dok.	Bulletin of Symbolic Logic. Roč. 25, č. 3 (2019), s. 333-359. - : Cambridge University Press
Druh dok.	Článek v odborném periodiku
Grant	GJ17-18344Y GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	type theory * definitional identity
URL	https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/etarules-in-martinlof-type-theory/CA10751125AABA4B36BEDC30EC729B74
Trvalý link	http://hdl.handle.net/11104/0300973

Počet záznamů: 1