Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Are subsets necessary in Martin-Löf type theory? - MaRDI portal

Are subsets necessary in Martin-Löf type theory?

From MaRDI portal

Publication:4594250

Jump to:navigation, search

DOI10.1007/BFB0021082zbMath1434.03047MaRDI QIDQ4594250

Simon Thompson

Publication date: 17 November 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Type theory (03B38)

Related Items (1)

Constructive mathematics, Church's thesis, and free choice sequences

This page was built for publication: Are subsets necessary in Martin-Löf type theory?

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4594250&oldid=18756480"