• Sign in
  • Sign up
conf.researchr.org / Fosco Loregian
  • APLAS & ATVA 2026 profile
  • POPL 2021 profile
  • POPL 2026 profile

Registered user since Sat 7 Nov 2020

Name:Fosco Loregian
Affiliation:Tallinn University of Technology
Personal website: http://tetrapharmakon.github.io
GitHub: https://github.com/tetrapharmakon
Research interests:Category theory

Contributions

2026

APLAS

  • Author of Dinaturals Compose, Up-to Loops within the APLAS Research Papers-track

POPL

  • Author of Di- is for Directed: First-Order Directed Type Theory via Dinaturality within the POPL-track

2021

POPL

  • Author of Functorial Semantics for Partial Theories within the POPL-track
Share
xWed 7 Oct 08:49
using conf.researchr.org (v1.76.1)
Support page
Sign Up