H ? « ‹ ← → › »

Language peer sets for LEGO:
United Kingdom↑
United Kingdom/1992↑
Designed 1992 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

LEGO(ID:6971/leg005)

alternate simple view

Country: United Kingdom
Designed 1992

proof system

Randi Pollack, Edinburgh 1992

Related languages

coq

→

LEGO

Based on

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder