System F-sub

In the branch of mathematical logic known as type theory, System F<:, pronounced "F-sub", is an extension of system F with subtyping. System F&lt…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2006

Many representations of term syntax with variable bindings have been used to formalize programming language metatheory, but so…