search result

Cover von Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions

Mechanized Subject Expansion in Uniform Intersection Types for Perpetual Reductions

Year: 2024
Media group: LIPIcs
Cover von A Quantitative Version of Simple Types

A Quantitative Version of Simple Types

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0