https://su.diva-portal.org/smash/record.jsf?pid=diva2%3A1759540
From type theory to setoids and back
type theoryback
https://www.fos.kuis.kyoto-u.ac.jp/mailman3/hyperkitty/list/logic-ml@fos.kuis.kyoto-u.ac.jp/thread/2YSZI6YDV5JMBY43JKX263T2ACZUH44R/?sort=thread
homotopy type theory - Logic-ml - fos.kuis.kyoto-u.ac.jp
homotopy type theorylogicml
https://topic.alibabacloud.com/a/u-type-theory-based-on-small-enterprise-informatization-5_8_8_32343753.html
U-type theory based on Small Enterprise Informatization (5)
BOM construction is one of the key aspects of system design In this U-type theory, there are no modules such as the main production plan and Capability...
type theorybased onsmall enterpriseuinformatization
https://homotopytypetheory.org/
Homotopy Type Theory
This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved...
typetheory
https://ricerca.uniparthenope.it/handle/11367/69448
On Phase-Type Distribution in Ruin Theory
phasetypedistributionruintheory
https://lean-lang.org/theorem_proving_in_lean4/Dependent-Type-Theory/
Dependent Type Theory
dependenttypetheory
https://korkortonline.se/en/theory-test/explanations/question/771/
Driving theory questions: What type of place is A?
What type of place is A? (Driving theory questions)
drivingtheoryquestionstypeplace