Denial
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
articles
❯
Programming Language Foundation in Agda
Programming Language Foundation in Agda
Jun 14, 2026
1 min read
Philip Wadler
,
Programming Language Foundation in Agda
, (
github
)
Graph View
Backlinks
Metodi Formali dell'Informatica
INDEX
Base