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
PAL+: a lambda-free logical framework - MaRDI portal

PAL⁺: a lambda-free logical framework

From MaRDI portal

Publication:4457835

Jump to:navigation, search

DOI10.1017/S0956796802004525zbMath1038.03035MaRDI QIDQ4457835

Zhaohui Luo

Publication date: 17 March 2004

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

zbMATH Keywords

lambda-free logical framework specification of type theories

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Tactics and Parameters ⋮ A pluralist approach to the formalisation of mathematics ⋮ PAL+ ⋮ Unnamed Item

This page was built for publication: PAL⁺: a lambda-free logical framework

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