Search results for: Ulf Norell
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 314-333
Lecture Notes in Computer Science > Frontiers of Combining Systems > Theorem Proving Frameworks and Systems > 285-301
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Invited Tutorials > 73-78