logo
Type Theory and Proof Theory

컨퍼런스 결과 (1)

Foundations of Software Science and Computational Structures (FOSSACS)

Rank: AOffline
Hamilton, Canada
May 5, 2025 - May 8, 2025
Software ScienceCategorical Models and LogicsLanguage Theory+25 더 보기