学术社交
学术应用
开放平台
注册
|
登录
邮箱
密码
验证码
换一下
自动登录
忘记密码?
使用其它帐号登录
登录或注册
邮箱:
密码:
验证码:
换一下
自动登录
忘记密码?
使用其它帐号登录
为什么使用第三方帐号?
讨厌烦人的注册表单,经常忘了用户名和密码,我有第三方帐号,我喜欢通用的帐号,这样很安全。
想用独立的帐号,还未开通?
赶快免费注册一个吧!
N. P. Mendler
A PHP Error was encountered
Severity: Notice
Message: Undefined index: id
Filename: views/view_author.php
Line Number: 127
领 域: 编程语言, 算法与理论
论文统计图
引用最多的论文
更多>>
Recursive Types and Type Constraints in Second-Order Lambda Calculus
N.
P.
Mendler
Logic in Computer Science
1987
59次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
Inductive Types and Type Constraints in the Second-Order lambda Calculus
N.
P.
Mendler
Annals of Pure and Applied Logic
1991
48次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
Recursive Definitions in Type Theory
Robert Lee Constable
,
N.
P.
Mendler
Logic of Programs
1985
22次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
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
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
Infinite Objects in Type Theory
N.
P.
Mendler
,
Prakash Panangaden
,
Robert Lee Constable
Logic in Computer Science
1986
8次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
最新的论文
更多>>
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
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
Inductive Types and Type Constraints in the Second-Order lambda Calculus
N.
P.
Mendler
Annals of Pure and Applied Logic
1991
48次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
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
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
Recursive Types and Type Constraints in Second-Order Lambda Calculus
N.
P.
Mendler
Logic in Computer Science
1987
59次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
Infinite Objects in Type Theory
N.
P.
Mendler
,
Prakash Panangaden
,
Robert Lee Constable
Logic in Computer Science
1986
8次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
6
论文
156
引用
5
G-Index
5
H-Index
主要合作者
[查看详情]
关键词
United Kingdom
Domain Theory
Lambda Calculus
Second Order
Recursive Types
Type Theory
Concurrent Constraint Programming
denotational semantic
Function Space
主要期刊 & 会议
LICS - Logic in Computer Science
SCP - Science of Computer Programming
LP - Logic of Programs
APAL - Annals of Pure and Applied Logic
NJC - Nordic Journal of Computing
COPYRIGHT © 2013 Powered By GOLAXY 中国科学院计算技术研究所 天玑团队
我想反馈:
问题
点子
排行榜