Model-Checking Games for Typed lambda-Calculi

Colin Stirling

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

We consider the transfer of verification techniques to structures with binding.
Original languageEnglish
Pages (from-to)589-609
Number of pages21
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - 2007


Dive into the research topics of 'Model-Checking Games for Typed lambda-Calculi'. Together they form a unique fingerprint.

Cite this