Searching map area
Changing Data Structures in Type Theory: A Study of Natural Numbers
Join to rate
Ratings 0
Nobody has rated this yet. Be the first!
Lists 0
Join to rate
Instance of
Scholarly article
Author
Yves Bertot
Subject
Data structure
References
Wikidata