Log in
Register
linkhut
Bookmarks
tagged with:
plt
types
Sort by:
recency
popularity
Order:
descending
ascending
28 Dec 25
Linear temporal logic - Wikipedia
https://en.wikipedia.org/wiki/Linear_temporal_logic
A way of modeling stat full time .
by
eli
1 month ago
Tags:
plt
types
type-theory
time