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
Andrews' Type Theory with Undefinedness - MaRDI portal

Andrews' Type Theory with Undefinedness

From MaRDI portal

Publication:3086780

Jump to:navigation, search

zbMath1226.03017arXiv1406.7492MaRDI QIDQ3086780

William M. Farmer

Publication date: 30 March 2011

Full work available at URL: https://arxiv.org/abs/1406.7492

zbMATH Keywords

undefinedness Church's type theory Andrews' type theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

Theory morphisms in Church's type theory with quotation and evaluation ⋮ Incorporating quotation and evaluation into Church's type theory

This page was built for publication: Andrews' Type Theory with Undefinedness

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