Linear Logic, Totality and Full Completeness (0)

by R Loader
Venue:In Proceedings of LiCS ‘94