ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics
Latest Publications
TOTAL DOCUMENTS
46
(FIVE YEARS 0)
H-INDEX
5
(FIVE YEARS 0)
Published By Elsevier
9780444898227
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
The Language Theory of Automath
Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics
◽
10.1016/s0049-237x(08)70219-2
◽
1994
◽
pp. 493-653
◽
Cited By ~ 1
Author(s):
D.T. van Daalen
Keyword(s):
Language Theory
Download Full-text
The Mathematical Language Automath, its Usage, and Some of its Extensions
Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics
◽
10.1016/s0049-237x(08)70200-3
◽
1994
◽
pp. 73-100
◽
Cited By ~ 7
Author(s):
N.G. de Bruijn
Keyword(s):
Mathematical Language
Download Full-text
Reflections on Automath
Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics
◽
10.1016/s0049-237x(08)70205-2
◽
1994
◽
pp. 201-228
◽
Cited By ~ 9
Author(s):
N.G. de Bruijn
Download Full-text
Index of Names
Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics
◽
10.1016/s0049-237x(08)70235-0
◽
1994
◽
pp. 997-1001
Download Full-text
Checking Landau's “Grundlagen” in the Automath System
Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics
◽
10.1016/s0049-237x(08)70223-4
◽
1994
◽
pp. 721-732
Author(s):
L.S. van Benthem Jutting
Download Full-text
Computer Program Semantics in Space and Time
Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics
◽
10.1016/s0049-237x(08)70233-7
◽
1994
◽
pp. 947-972
Author(s):
N.G. de Bruijn
Keyword(s):
Computer Program
◽
Space And Time
◽
Program Semantics
Download Full-text
Description of AUT-68
Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics
◽
10.1016/s0049-237x(08)70207-6
◽
1994
◽
pp. 251-273
◽
Cited By ~ 3
Author(s):
L.S. van Benthem Jutting
Download Full-text
Strong Normalization in a Typed Lambda Calculus with Lambda Structured Types
Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics
◽
10.1016/s0049-237x(08)70217-9
◽
1994
◽
pp. 389-468
◽
Cited By ~ 5
Author(s):
R.P. Nederpelt
Keyword(s):
Lambda Calculus
◽
Strong Normalization
◽
Typed Lambda Calculus
Download Full-text
Example of a Text written in Automath
Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics
◽
10.1016/s0049-237x(08)70221-0
◽
1994
◽
pp. 687-700
Author(s):
N.G. de Bruijn
Download Full-text
Set Theory with Type Restrictions
Selected Papers on Automath - Studies in Logic and the Foundations of Mathematics
◽
10.1016/s0049-237x(08)70229-5
◽
1994
◽
pp. 841-847
Author(s):
N.G. de Bruijn
Keyword(s):
Set Theory
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close