Concurrency
Linear logic
Computer science
Observational equivalence
Session (web analytics)
Programming language
Abstract interpretation
Theoretical computer science
Interpretation (philosophy)
Normalization (sociology)
Curry–Howard correspondence
Type theory
Typed lambda calculus
Lambda calculus
Type (biology)
Ecology
Biology
Sociology
World Wide Web
Anthropology
