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
Sequent combinators: a Hilbert system for the lambda calculus - MaRDI portal

Sequent combinators: a Hilbert system for the lambda calculus

From MaRDI portal

Publication:4946630

Jump to:navigation, search

DOI10.1017/S0960129599002911zbMath0957.03015MaRDI QIDQ4946630

Jean Goubault-Larrecq, Healfdene Goguen

Publication date: 22 March 2001

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Hilbert system lambda calculus sequent combinators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Monadic augment and generalised short cut fusion

This page was built for publication: Sequent combinators: a Hilbert system for the lambda calculus

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