%0 Journal Article
%A van Dijk, Emma
%A Ripley, David
%A Gutierrez, Julian
%T Core Type Theory
%J Bulletin of the Section of Logic
%D 2023
%P 145-186
%V 52
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2023_52_2_a1/
%G en
%F BSL_2023_52_2_a1