REGISTER
info/FAQ
Login
username
password
forgot password?
register here
Research articles
search articles
reviews guidelines
reviews
articles index
My Pages
my alerts
my messages
my reviews
my favorites
Stat
Members:
3645
Articles:
2'506'133
Articles rated:
2609
27 April 2024
»
search
Search for articles, messages and online reviews
Search in 2'506'133 articles.
match all words (default)
match at least one of the words
match the exact phrase
search in all fields
search in authors
search in journals
Results
1
to
4
of
4
for query "
Richard Statman
". (0.00 sec.)
1.
Products in a Category with Only One Object
Richard Statman
;
26 Jan 2021
2.
The Omega Rule is mathbf{Pi_{1}^{1}}-Complete in the lambdaeta-Calculus
Benedetto Intrigila
;
Richard Statman
;
8 Mar 2009
3.
Solution of a Problem of Barendregt on Sensible lambda-Theories
Benedetto Intrigila
;
Richard Statman
;
14 Sep 2006
4.
The Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories
Kosta Dosen
;
Zoran Petric
;
11 Nov 1999
ScienXe.org
» my Online CV
» Free
News, job offers and information for researchers and scientists:
myScience Austria
myScience Belgium
myScience Canada
myScience France
myScience Germany
myScience Netherlands
myScience Switzerland
myScience Spain
myScience United Kingdom
myScience International
home
|
contact
|
terms of use
|
sitemap
Copyright © 2005-2024 - Scimetrica