scientific article
From MaRDI portal
Publication:3712304
zbMath0586.03002MaRDI QIDQ3712304
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
typed lambda calculusinterpretationintensional logicsemantics of programming languagestype logicmodal tense logicalgebra-semanticsalgebra-syntaxalgebraic formalizationcompositionality of meaningmeaning assignmentsemantic analysis of a languagesemantics of natural languagestranslation of a language into a logical languagetwo-sorted type theory
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
This page was built for publication: