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
Type-checking injective pure type systems - MaRDI portal

Type-checking injective pure type systems

From MaRDI portal

Publication:4948007

Jump to:navigation, search

DOI10.1017/S0956796899003573zbMath0949.03027WikidataQ114116617 ScholiaQ114116617MaRDI QIDQ4948007

Gilles Barthe

Publication date: 6 December 2000

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

lambda calculus type-checking algorithm expansion postponement injective pure type systems typed sorts

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Interfacing Coq + SSReflect with GAP ⋮ An induction principle for pure type systems

This page was built for publication: Type-checking injective pure type systems

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