Publication | Closed Access

The relation between logic and functional languages: a survey

Non-classical LogicFunctional LanguagesEngineeringOperational SemanticsAutomated ReasoningFunctional Programming LanguageFormal MethodsLanguage StudiesSemanticsLinguistics