Publication | Closed Access
The relation between logic and functional languages: a survey
97
Citations
30
References
1986
Year
Non-classical LogicFunctional LanguagesEngineeringOperational SemanticsAutomated ReasoningFunctional Programming LanguageFormal MethodsLanguage StudiesSemanticsLinguistics
| Year | Citations | |
|---|---|---|
Page 1
Page 1