Marco Federico Larrea

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Building Blocks

Biological Systems

Statistical Model

Reasoning Processes

Top Venues

Publications

Nicola Gambino, Marco Federico Larrea
Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems. J. Symb. Log. 88 (1) (2023)