Type theories

Content created by Fredrik Bakke, Egbert Rijke and Jonathan Prieto-Cubides.

Created on 2022-04-14.
Last modified on 2023-05-06.

{-# OPTIONS --guardedness #-}

Files in the type theories folder

module type-theories where

open import type-theories.comprehension-type-theories public
open import type-theories.dependent-type-theories public
open import type-theories.fibered-dependent-type-theories public
open import type-theories.sections-dependent-type-theories public
open import type-theories.simple-type-theories public
open import type-theories.unityped-type-theories public

Recent changes