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 - MaRDI portal

scientific article

From MaRDI portal

Publication:4012880

Jump to:navigation, search

zbMath0755.03011MaRDI QIDQ4012880

Furio Honsell, Rod M. Burstall

Publication date: 27 September 1992

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

zbMATH Keywords

programming languages ELF Edinburgh Logical Framework Natural Deduction Operational Semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items

Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts, The expressive power of Structural Operational Semantics with explicit assumptions, Mechanizing type environments in weak HOAS, A natural deduction approach to dynamic logic, Efficient Substitution in Hoare Logic Expressions

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