• Publications
  • Influence
Algebraic theory of Penrose''s non-periodic tilings
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official publishedExpand
On the factorization of cyclic groups
Telescopic Mappings in Typed Lambda Calculus
  • N. D. Bruijn
  • Computer Science, Mathematics
  • Inf. Comput.
  • 1 April 1991
Abstract The paper develops notation for strings of abstractors in typed lambda calculus, and shows how to treat them more or less as single abstractors.
A plea for weaker frameworks
Algorithmic definition of lambda-typed lambda calculus
TLDR
The final author version and the galley proof are versions of the publication after peer review and the final published version features the final layout of the paper including the volume, issue and page numbers. Expand
The use of justification systems for integrated semantics
  • N. D. Bruijn
  • Computer Science
  • Conference on Computer Logic
  • 1 December 1988
Carleman's inequality for finite series
TLDR
The final author version and the galley proof are versions of the publication after peer review and the final published version features the final layout of the paper including the volume, issue and page numbers. Expand
Remarks on Penrose Tilings
  • N. D. Bruijn
  • Mathematics, Computer Science
  • The Mathematics of Paul Erdős I
  • 2013
TLDR
The main topics are: the characterizability of Penrose tilings by means of a local rule that does not refer to arrows on the edges of the tiles, and the fact that the Ammann quasigrid of the inflation of a Penrose tiling is topologically equivalent to the pentagrid that generates the original tiling. Expand
...
1
2
3
...