A Sequent Calculus for Subtyping Polymorphic Types
Copyright policy )A Sequent Calculus for Subtyping Polymorphic Types
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
- Northwestern University United States
- Institute of Informatics Slovakia
- University of Warsaw Poland
- Slovak Academy of Sciences Slovakia
- THE TRUSTEES OF BOSTON UNIVERSITY United States
subtyping, Gentzen-style sequent calculus, subject reduction, cut elimination, coherence, Theoretical Computer Science, Computer Science Applications, polymorphic types, Computational Theory and Mathematics, Combinatory logic and lambda calculus, Cut-elimination and normal-form theorems, decidability of type reconstruction, natural deduction, Information Systems
subtyping, Gentzen-style sequent calculus, subject reduction, cut elimination, coherence, Theoretical Computer Science, Computer Science Applications, polymorphic types, Computational Theory and Mathematics, Combinatory logic and lambda calculus, Cut-elimination and normal-form theorems, decidability of type reconstruction, natural deduction, Information Systems
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).3 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!