IOHK |
ライブラリー
ライブラリー > Conor McBride
Conor McBride
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Guillame Allais,Robert Atkey,James Chapman,Conor McBride,James McKinna
October/2021, Journal of Functional Programming