/computation

computation practice

Primary LanguageSwift

Computation experiments

In Racket (Lisp/Scheme family)

Lambda calculus

In Swift

Small step semantic

Also named as structural operational semantic, transition semantic.

Big step semantic

Also named as natural semantic, relational semantic.

Denotational semantic

Also named as fixed-point semantic, mathematical semantic.