Realizability models for BLL-like languages (2004)

by Martin Hofmann, Philip Scott
Venue:Theoretical Computer Science