output
20172026
most citedSwitching quantum reference frames in the N-body problem and the absence of global relational perspectives

60 citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

2 papers · 1 filter

cs.PL2025★ 1 cited

AdapTT: Functoriality for Dependent Type Casts

Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin +1

The ability to cast values between related types is a leitmotiv of many flavors of dependent type theory, such as observational type theories, subtyping, or cast calculi for gradua…

cs.PL2019★ 1 cited

Revisiting Occurrence Typing

Giuseppe Castagna, Victor Lanvin, Mickaël Laurent +1

We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capturesome programming patterns used in untyped languages. Although oc…