Add to ORKGContains fulltext : 76119.pdf (author's version ) (Open Access)A Logically Saturated Extension of [`(l)]m[(m)\tilde]λˉμμ˜26 p
Contains fulltext : 13356.pdf (publisher's version ) (Open Access
Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and...
In this paper I describe an extensional logic of hyperintensions, viz. Tichý's Transparent Intension...
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Aut...
Item does not contain fulltextProceedings of 8th International Conference, 16th Symposium, Calculemu...
Contains fulltext : mmubn000001_232205140.pdf (publisher's version ) (Open Access)...
The lambda-bar-mu-mu-tilde-calculus, introduced by Curien and Herbelin, is a calculus isomorphic to ...
Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on λ̄µµ̃, a calculus introduced by Curien and He...
In this paper we give an arithmetical proof of the strong normalization of λ Sym Prop of Berardi and...
In this paper we give an arithmetical proof of the strong normalization oflambda-Sym-Prop of Berardi...
Contains fulltext : 128988.pdf (publisher's version ) (Open Access
Contains fulltext : 75183.pdf (preprint version ) (Open Access)24 p
Contains fulltext : 111279.pdf (preprint version ) (Open Access
リサーチレポート（北陸先端科学技術大学院大学情報科学研究科）本文は図書館に配架されています。 / This material is stored in the JAIST library
ABSTRACT: The constraint language for lambda structures (CLLS) is an expressive language of tree de-...
Contains fulltext : 13356.pdf (publisher's version ) (Open Access
Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and...
In this paper I describe an extensional logic of hyperintensions, viz. Tichý's Transparent Intension...
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Aut...
Item does not contain fulltextProceedings of 8th International Conference, 16th Symposium, Calculemu...
Contains fulltext : mmubn000001_232205140.pdf (publisher's version ) (Open Access)...
The lambda-bar-mu-mu-tilde-calculus, introduced by Curien and Herbelin, is a calculus isomorphic to ...
Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on λ̄µµ̃, a calculus introduced by Curien and He...
In this paper we give an arithmetical proof of the strong normalization of λ Sym Prop of Berardi and...
In this paper we give an arithmetical proof of the strong normalization oflambda-Sym-Prop of Berardi...
Contains fulltext : 128988.pdf (publisher's version ) (Open Access
Contains fulltext : 75183.pdf (preprint version ) (Open Access)24 p
Contains fulltext : 111279.pdf (preprint version ) (Open Access
リサーチレポート（北陸先端科学技術大学院大学情報科学研究科）本文は図書館に配架されています。 / This material is stored in the JAIST library
ABSTRACT: The constraint language for lambda structures (CLLS) is an expressive language of tree de-...
Contains fulltext : 13356.pdf (publisher's version ) (Open Access
Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and...
In this paper I describe an extensional logic of hyperintensions, viz. Tichý's Transparent Intension...