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
Automation for Dependently Typed Functional Programming - MaRDI portal

Automation for Dependently Typed Functional Programming

From MaRDI portal

Publication:3002482

Jump to:navigation, search

DOI10.3233/FI-2010-305zbMath1217.68199OpenAlexW1645247162MaRDI QIDQ3002482

Alan Smaill, Sean Wilson, Jacques D. Fleuriot

Publication date: 20 May 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-305

zbMATH Keywords

automated theorem proving rippling dependent types Coq generalisation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Natural language inference in Coq

Uses Software

This page was built for publication: Automation for Dependently Typed Functional Programming

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