集合論に基づいた言語を作りたい

[377 デフォルトの名無しさん 2014/09/28(日) 23:48:18.69 ID:qFZf/al/]

>>376
http://homepages.uel.ac.uk/A.Kans/MSc%20week3.pdf
http://www.cs.nott.ac.uk/~rxq/files/4FSPnotation.pdf
http://formal.iti.kit.edu/~beckert/teaching/Spezifikation-SS04/11Z.pdf