FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Algebraic models of dependent type theory

Author: Clive Newstead

PapersPapers with AbstractsAuthor IndexKeyword Index

Paper Information

Title:Algebraic models of dependent type theory
Authors:Clive Newstead
Proceedings:HoTT/UF Abstracts
Editors: Benedikt Ahrens, Simon Huber and Anders Mörtberg
Keywords:Categorical semantics, Dependent type theory, Polynomial functors
Abstract:

ABSTRACT.

Pages:2
Talk:Jul 07 16:30 (Session 31F)
Paper: