- Tytuł:
- Names, equations, relations : practical ways to reason about new
- Autorzy:
- Stark, I.
- Data publikacji:
- 1998
- Słowa kluczowe:
-
names
nu-calculus
generativity
contextual equivalence
equational reasoning
operational reasoning
logical relations - Pokaż więcej
- Dostawca treści:
- BazTech