nLab Ulrich Schöpp

Redirected from "(2,1)-categories".

Selected writings

Ulrich Schöpp, Ian Stark, A Dependent Type Theory with Names and Binding, in Computer Science Logic. CSL 2004, Lecture Notes in Computer Science 3210 (2004) 235–249 [doi:10.1007/978-3-540-30124-0_20, web]

category: people

Last revised on October 8, 2023 at 14:48:43. See the history of this page for a list of all contributions to it.