|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with V. Yu. Sazonov Abstract, 23.06.1983 of the paper "On Lambda-calculus with an Assignment Operator" and a covering letter
Covering letter, V. Yu. Sazonov->D. Bjorner, 10.08.1987to Prof. Bjorner, submission of the paper "Lambda-calculus, assignment operator and denotational semantics" to the program of the Workshop
Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
