Equality, types, modules, and (why not?) generics for logic programming
Joseph A. Goguen, José MeseguerVolume:
1
Year:
1984
Language:
english
Pages:
32
DOI:
10.1016/0743-1066(84)90004-9
File:
PDF, 2.19 MB
english, 1984