📁 特赫埃斯埃斯

Research dissertations and theses in Number Theory.

全部 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Provability Logic

http://en.wikipedia.org/wiki/Provability_logic

👍 0 详情链接

Bibliography on Linear Logic

http://www.cs.cmu.edu/~carsten/linearbib/llb.html

👍 0 详情链接

Linear Logic Papers by Andreas Blass

http://www.math.lsa.umich.edu/~ablass/ll.html

👍 0 详情链接

The Linear Logic Pages

http://iml.univ-mrs.fr/~lafont/linear/

👍 0 详情链接

Linear Logic Semantics

http://www.cis.upenn.edu/~bcpierce/types/archives/1992/msg00047.html

👍 0 详情链接

Seminar on Linear Logic and Applications

http://www.cs.cmu.edu/~fp/courses/95-linear.html

👍 0 详情链接

Winskel, Glynn

http://www.cl.cam.ac.uk/~gw104/

👍 0 详情链接