|
|
|
|
|
by ThreeFx
2140 days ago
|
|
Best known is indeed meant as "most widely known" (although that may be true for only my little bubble). I think it's taught in most type theory / formal methods courses though. If anybody has facts for/against this claim I'd be happy to update the page. |
|