Calculi Abbreviations and Acronyms
TLCA
Typed Lambda Calculus and Applications
Last updated:
January 4, 2020
— Total entries: 1