Old Web
English
Sign In
Acemap
>
Paper
>
Agda Implementors Meeting (NII Shonan Meeting 2011-2).
Agda Implementors Meeting (NII Shonan Meeting 2011-2).
2011
Peter Dybjer
Yoshiki Kinoshita
Shin-Cheng Mu
Keywords:
Programming language
Agda
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]