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
Reflective semantics of constructive type theory - MaRDI portal

Reflective semantics of constructive type theory

From MaRDI portal

Publication:4594249

Jump to:navigation, search

DOI10.1007/BFB0021081zbMATH Open1434.03045MaRDI QIDQ4594249

Scott F. Smith

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)

Title not available (Why is that?)

This page was built for publication: Reflective semantics of constructive type theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4594249)

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