Publication | Closed Access
The call-by-name semantics of a clause language with functions
15
Citations
0
References
1982
Year
Formal SemanticsSyntaxEngineeringOperational SemanticsAutomated ReasoningFormal MethodsFormal SyntaxGrammarLanguage StudiesSemanticsLinguisticsClause Language
No additional data available for this publication yet. Check back later!