自传 发表于 2025-4-1 01:54:13

Type-theoretical semantics of some declarative languages,

散布 发表于 2025-4-1 06:32:19

http://reply.papertrans.cn/19/1806/180511/180511_62.png

Tinea-Capitis 发表于 2025-4-1 12:49:05

http://reply.papertrans.cn/19/1806/180511/180511_63.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Baltic Computer Science; Selected Papers Janis Bārzdinš,Dines Bjørner Conference proceedings 1991 Springer-Verlag Berlin Heidelberg 1991 Co