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
Isomorphisms of simple inductive types through extensional rewriting - MaRDI portal

Isomorphisms of simple inductive types through extensional rewriting

From MaRDI portal

Publication:3372685

Jump to:navigation, search

DOI10.1017/S0960129505004950zbMath1096.03009MaRDI QIDQ3372685

David Chemouil

Publication date: 10 March 2006

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

zbMATH Keywords

isomorphisms confluence inductive types strong normalisation conversion rules extensional simply typed \(\lambda\)-calculus faithful copy

Mathematics Subject Classification ID

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

Related Items (2)

An insertion operator preserving infinite reduction sequences ⋮ Conditionally reversible computations and weak universality in category theory

This page was built for publication: Isomorphisms of simple inductive types through extensional rewriting

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