Personal Information

Home > Scientific Research > Paper Publications

Towards Extracting Explicit Proofs from Totality Checking in Twelf

Date of Publication:2013-09-01 Hits:

Journal:Proceedings of the 8th ACM SIGPLAN International Workshop on Logical Frameworks (LFMTP)
Translation or Not:no
Date of Publication:2013-09-01
Indexed by:会议论文

Recommend this article