An Isbell duality theorem for type refinement systems
Author:
PAUL-ANDRÉ MELLIÈS, NOAM ZEILBERGER©right=Copyright © Cambridge University Press 2017
Publication:
Mathematical Structures in Computer Science
Publisher:
Cambridge University Press
Copyright © 2017, Cambridge University Press