JAIST Repository >

Items for Author "Dybjer, Peter"

Return to Browse by Author
Sorting by Title Sort by Date

Showing 1 items.

Date of IssueTitle Authors
22-Sep-2009 Constructive Type Theory and Interactive Theorem ProvingDybjer, Peter

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology