An Algebraic Weak Factorisation System on 01-Substitution Sets: A Constructive Proof (2016)

First Author: Swan A
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