Functional syntax of qualified statements should not use lamda, but term. - Githubissues

gruninger / Common-Logic

Documents for the developments of ISO 24707 Editiion 2 (Common Logic)

8 stars 3 forks source link

Functional syntax of qualified statements should not use lamda, but term. #51

Open fabianneuhaus opened 9 years ago