- Mathematical logic
- >
- Logic in computer science
- >
- Programming language semantics
- >
- Operational semantics

- Mathematics of computing
- >
- Logic in computer science
- >
- Programming language semantics
- >
- Operational semantics

- Theoretical computer science
- >
- Logic in computer science
- >
- Programming language semantics
- >
- Operational semantics

Krivine machine

In theoretical computer science, the Krivine machine is an abstract machine (sometimes called virtual machine). As an abstract machine, it shares features with Turing machines and the SECD machine. Th

Explicit substitution

In computer science, lambda calculi are said to have explicit substitutions if they pay special attention to the formalization of the process of substitution. This is in contrast to the standard lambd

Operational semantics

Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing pro

Reduction semantics

No description available.

© 2023 Useful Links.