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
scientific article; zbMATH DE number 6744295 - MaRDI portal

scientific article; zbMATH DE number 6744295

From MaRDI portal

Publication:5277981

Jump to:navigation, search

DOI10.4230/LIPIcs.TYPES.2014.274zbMath1367.68077MaRDI QIDQ5277981

Serguei V. Solov'ev

Publication date: 12 July 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logical framework isomorphism of types dependent product

Mathematics Subject Classification ID

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

Related Items (2)

Automorphisms of types and their applications ⋮ Automorphisms of types in certain type theories and representation of finite groups

This page was built for publication:

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