Home
About
Lectures
Publications
Talks
Projects
News

Subtyping

Implementing Baker’s SUBTYPEP decision procedure

Léo Valais

• Apr 1, 2019 • 1 min read

Copyright © 2025 Didier Verna. This work is licensed under CC BY NC ND 4.0

Made with Hugo Blox Builder.