Typentheorie
type: Concept
editorial note: -PV
editorial note: WP9
main entity of page: https://koninklijkebibliotheek.triply.cc/.well-known/genid/69d002aee33997b0798163c54681b3a0
main entity of page: http://data.bibliotheken.nl/doc/thes/p095992200
alternative label: Theory of types
in scheme: gtt
preferred label: Type theory @en