A term assignment for dual intuitionistic logic (2005)

by G Bellin
Venue:In Proceedings of the LICS’05-IMLA’05 Workshop
Add To MetaCart
Results 1 - 1 of 1

2 A Critique of the Foundations of Hoare Style Programming Logics

by Tristan Crolard
"... Certification de programmes impératifs d’ordre supérieur avec mécanismes de contrôle ..."
Abstract - Add to MetaCart
Certification de programmes impératifs d’ordre supérieur avec mécanismes de contrôle