N. P. Mendler

领  域：  编程语言, 算法与理论

论文统计图
引用最多的论文 更多>>
Recursive Types and Type Constraints in Second-Order Lambda Calculus  
N. P. Mendler
Logic in Computer Science  1987
59次引用 0 0
Inductive Types and Type Constraints in the Second-Order lambda Calculus  
N. P. Mendler
Annals of Pure and Applied Logic  1991
48次引用 0 0
Recursive Definitions in Type Theory  
Robert Lee Constable , N. P. Mendler
Logic of Programs  1985
22次引用 0 0
A Logical View of Concurrent Constraint Programming  
N. P. Mendler , Prakash Panangaden , Philip J. Scott , R. A. G. Seely
Nordic Journal of Computing  1995
19次引用 0 0
Infinite Objects in Type Theory  
N. P. Mendler , Prakash Panangaden , Robert Lee Constable
Logic in Computer Science  1986
8次引用 0 0
最新的论文 更多>>
A Logical View of Concurrent Constraint Programming  
N. P. Mendler , Prakash Panangaden , Philip J. Scott , R. A. G. Seely
Nordic Journal of Computing  1995
19次引用 0 0
Inductive Types and Type Constraints in the Second-Order lambda Calculus  
N. P. Mendler
Annals of Pure and Applied Logic  1991
48次引用 0 0
Programming in Martin-Löf's type theory Bengt Nordström, Kent Petersson and Jan M. Smith  
N. P. Mendler
Science of Computer Programming  1991
0次引用 0 0
Recursive Types and Type Constraints in Second-Order Lambda Calculus  
N. P. Mendler
Logic in Computer Science  1987
59次引用 0 0
Infinite Objects in Type Theory  
N. P. Mendler , Prakash Panangaden , Robert Lee Constable
Logic in Computer Science  1986
8次引用 0 0
6
论文
156
引用
5
G-Index
5
H-Index
主要合作者 [查看详情]
关键词
主要期刊 & 会议
COPYRIGHT © 2013 Powered By GOLAXY 中国科学院计算技术研究所 天玑团队
Feedback
Feedback
Feedback
我想反馈：
排行榜