发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - Reduction-free normalisation for a polymorphic system

[IEEE Comput. Soc. Press 11th Annual IEEE Symposium on Logic in Computer Science - New Brunswick, NJ, USA (27-30 July 1996)] Proceedings 11th Annual IEEE Symposium on Logic in Computer Science - Reduction-free normalisation for a polymorphic system

Altenkirch, T.; Hofmann, M.; Streicher, T.

作者Altenkirch, T.; Hofmann, M.; Streicher, T.
文件大小762.65KB
发表时间1996
DOI10.1109/LICS.1996.561309
页码98-106

← 返回【学霸图书馆】主页