A formal language (theory) for expressing programs. Used and studied in computer science. (from nLab)
References:
nLab
Stats
|
created |
2 years, 4 months ago |
|
viewed |
3 times |
|
active |
2 years, 3 months ago |
|
editors |
1 |
Top Answerers
more »
Recent Hot Answers
Can the language of proof assistants be used for general purpose programming?Can theorem provers be used to form foundations for programming languages?
Can theorem provers be used to form foundations for programming languages?
How can you represent a dependent type visually?
Do implementations of a PA and of ATP have overlap?
more »