Metadata about: https://github.com/topics/type-theory

About: https://github.com/topics/type-theory

an Entity references as follows:

Graph IRI	Count
https://github.com/topics/type-theory	7 triples
https://github.com/veyselusta/programming-language-research	1 triples
https://github.com/topics/type-classes	1 triples
https://github.com/topics/operational-semantics	1 triples
https://github.com/topics/programming-languages	1 triples
https://github.com/topics/formal-methods?o=desc	1 triples
https://github.com/topics/union	1 triples
https://github.com/topics/type	1 triples
https://github.com/topics/operational-semantics?l=tex	1 triples
https://github.com/topics/formal-methods	1 triples
https://github.com/topics/operational-semantics?l=ocaml%01content	1 triples
https://github.com/topics/dependent-types	1 triples
https://github.com/topics/programming-languages?o=desc	1 triples
https://github.com/topics/datalog	1 triples
https://github.com/topics/proof-theory	1 triples
https://github.com/topics/applicative	1 triples

Faceted Search & Find service v1.16.102

This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.
OpenLink Virtuoso version 07.20.3231 as of Jan 19 2021, on Linux (x86_64-generic_glibc25-linux-gnu), Single-Server Edition (7 GB total memory)
Copyright © 2009-2025 OpenLink Software