scientific article; zbMATH DE number 6744292
From MaRDI portal
Publication:5277978
DOI10.4230/LIPIcs.TYPES.2014.202zbMath1434.03044MaRDI QIDQ5277978
Publication date: 12 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Type theory (03B38)
Related Items (12)
Unnamed Item ⋮ Simple and subdirectly irreducible finitely supported \(Cb\)-sets ⋮ The fresh-graph of a nominal set ⋮ Rensets and renaming-based recursion for syntax with bindings extended version ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The Frobenius condition, right properness, and uniform fibrations ⋮ Cubical Type Theory: a constructive interpretation of the univalence axiom ⋮ Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets ⋮ Cartesian cubical computational type theory: Constructive reasoning with paths and equalities ⋮ Rensets and renaming-based recursion for syntax with bindings ⋮ Syntax and models of Cartesian cubical type theory
This page was built for publication:
