An Algebraic Weak Factorisation System on 01-Substitution Sets: A Constructive Proof (2016)
Attributed to:
Homotopical inductive types
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://pdfs.semanticscholar.org/8fa5/a4323386fbb103f977c448bb6beb53374146.pdf
Type: Journal Article/Review
Volume: 8
Parent Publication: Journal ofLogic & Analysis
Issue: 1