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
Wikidata