Research Output

Filter
Chapter
1995

Concrete process algebra

Baeten, J. C. M. & Verhoef, C., 1995, Semantic modelling / ed. by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum. Oxford: Clarendon Press, p. 149-268 (Handbook of logic in computer science; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

Open Access
File
30 Downloads (Pure)

Discrete non-Euclidean geometry

Seidel, J. J., 1995, Handbook of Incidence Geometry. Buekenhout, F. (ed.). Amsterdam: North-Holland Publishing Company, p. 843-920

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

7 Downloads (Pure)

On the roles of types in mathematics

Bruijn, de, N. G., 1995, The Curry-Howard isomorphism / ed. by P. de Groote. Louvain-la-Neuve: Academia-Erasme, p. 27-54 (Cahiers du centre de logique; vol. 8).

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

Open Access
File
79 Downloads (Pure)

Process algebra with feedback

Baeten, J. C. M., Bergstra, J. A. & Stefanescu, G., 1995, Modal logic and process algebra : a bisimulation perspective / ed. by Alban Ponse, Maarten de Rijke and Yde Venema. Stanford: Center for the Study of Language and Information, p. 13-37 (CSLI lecture notes; vol. 53).

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

Open Access
File
28 Downloads (Pure)
1994

A comparison of various methods for assesment of fungal growth on interior finishes

Adan, O. C. G., Samson, R. A. & Wijnen, J. T. M., 1994, Health implications of fungi in indoor environments. Samson, R. A., Flanning, B., Flanning, M. E., Adan, O. C. G., Verhoeff, A. P. & Hoekstra, E. S. (eds.). Amsterdam: Elsevier, p. 415-437 (Air Quality Monographs; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

An implementation of substitution in a $\lambda$-calculus with dependent types

Benthem Jutting, van, L. S., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 809-837 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

8 Downloads (Pure)

A normal form theorem in a $\lambda$-calculus with types

Benthem Jutting, van, L. S., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 371-374 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

A survey of the project Automath

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 141-161 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
8 Citations (Scopus)
149 Downloads (Pure)

A text fragment from Zucker's "Real analysis"

Benthem Jutting, van, L. S. & Vrijer, de, R. C., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 733-761 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

AUT-QE without type inclusion

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 289-297 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
33 Downloads (Pure)

AUT-SL, a single line version of Automath

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 275-281 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
1 Citation (Scopus)
39 Downloads (Pure)

Checking Landau's "Grundlagen" in the Automath system : Appendices 3 and 4 (The PN-lines; Excerpt for "Satz 27")

Benthem Jutting, van, L. S., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 763-780 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Checking Landau's "Grundlagen" in the Automath system : Appendix 9 (AUT-SYNT)

Benthem Jutting, van, L. S., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 299-301 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)

Checking Landau's "Grundlagen" in the Automath system : Chapter 4 (Conclusions)

Benthem Jutting, van, L. S., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 721-732 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Checking Landau's "Grundlagen" in the Automath system : Parts of chapter 3 (Verification)

Benthem Jutting, van, L. S., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 805-808 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Checking Landau's "Grundlagen" in the Automath system : Parts of chapters 0, 1 and 2 (Introduction, Preparation, Translation)

Benthem Jutting, van, L. S., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 701-720 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Computer program semantics in space and time

Bruijn, de, N. G., 1994, Selected papers on Automath . Nederpelt, R. P., Geuvers, J. H. & de Vijver, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 947-972 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

Open Access
File
35 Downloads (Pure)

Description of AUT-68

Benthem Jutting, van, L. S., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 251-273 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)

Example of a text written in Automath

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 687-700 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
1 Citation (Scopus)
30 Downloads (Pure)

Fast bounded-distance decoding of the Nordstrom-Robinson code

Sun, F. W. & Tilborg, van, H. C. A., 1994, Communications and cryptography : two sides of the same tapestry (Symposium in honor of James Massey on his 60th birthday, Ascona, Switzerland, February 10-14, 1994). Blahut, R. E. & et al., X. (eds.). Dordrecht: Kluwer Academic Publishers, p. 391-398 (Kluwer international series in engineering and computer science).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Finite graphs in which the point neighbourhoods are the maximal independent sets

Brouwer, A. E., 1994, From universal morphisms to megabytes : a Baayen space odyssey (On the occasion of the retirement of prof.dr. P.C. Baayen from the Stichting Mathematisch Centrum, 20 December 1994). Apt, K. R., Schrijver, A. & Temme, N. M. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 231-233

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Formalization of constructivity in Automath

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 849-864 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
46 Downloads (Pure)

Foundations of database systems : an introductory tutorial

Paredaens, J., 1994, Advances in Database Systems : Implementations and Applications. Paredaens, J. & Tenenbaum, L. A. (eds.). Wien: Springer, p. 29-48 (CISM Courses and Lectures; vol. 347).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Fungal resitance tests of gypsum based interior finishes under steady state airhumidities

Adan, O. C. G., Samson, R. A. & Wijnen, J. T. M., 1994, Health implications of fungi in indoor environments. Samson, R. A., Flanning, B., Flanning, M. E., Adan, O. C. G., Verhoeff, A. P. & Hoekstra, E. S. (eds.). Amsterdam: Elsevier, p. 451-484 (Air Quality Monographs; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Generalizing Automath by means of a lambda-typed lambda calculus

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 313-337 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
1 Citation (Scopus)
44 Downloads (Pure)

GOAL : a graph-based object and association language

Hidders, A. J. H. & Paredaens, J., 1994, Advances in database systems: implementations and applications. Paredaens, J. & Tenenbaum, L. A. (eds.). Wien: Springer, p. 247-265 (CISM Courses and Lectures; vol. 347).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

34 Downloads (Pure)

Koppelen van heterogene databases

Bra, De, P. M. E., 1994, Handboek database systemen. Lans, van, R. F. & Pels, H. J. (eds.). Alphen aan den Rijn: Array publications, p. 3300-1/18

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Chruch-Rosser theorem

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 375-388 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Downloads (Pure)

Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

Bruijn, de, N. G., 1994, Selected papers on Automath. Nederpelt, R. P., Geuvers, J. H. & de Vrijer, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 375-388 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

Open Access
File
5 Citations (Scopus)
58 Downloads (Pure)

Mijn liefste boek: Pólya - Szegö

Bruijn, de, N. G., 1994, Uitgelezen gezelschap / onder red. van Marcel P. van Buijtenen, Aat J. Vervoorn en Anneke M.S. Vriens. Eindhoven: Technische Universiteit Eindhoven, p. 4-8 (EquiLiber; vol. 6).

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

Open Access
File
30 Downloads (Pure)

Operational operations research at the Mathematical Centre

Anthonisse, J. M. & Lenstra, J. K., 1994, From universal morphisms to megabytes : a Baayen space odyssey (On the occasion of the retirement of prof.dr. P.C. Baayen from the Stichting Mathematisch Centrum, 20 December 1994). Apt, K. R., Schrijver, A. & Temme, N. M. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 59-64

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

2 Downloads (Pure)

Reflections on Automath

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 201-228 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
6 Citations (Scopus)
55 Downloads (Pure)

Set theory with type restrictions

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 841-847 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
1 Citation (Scopus)
34 Downloads (Pure)

Some extensions of Automath : the AUT4-family

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 283-288 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Some extensions of Automath : the AUT-4 family

Bruijn, de, N. G., 1994, Selected papers on Automath / ed. by Rob P. Nederpelt, J.H. Geuvers and Roel C. de Vrijer ; with the assistance of L.S. van Benthem Jutting and D.T. van Daalen. Amsterdam: North-Holland Publishing Company, p. 283-288 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

Open Access
File
1 Citation (Scopus)
29 Downloads (Pure)

Strong normalization in a typed lambda calculus with lambda structured types

Nederpelt, R. P., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 389-468 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)

The calculus of constructions and higher order logic

Geuvers, J. H., 1994, The Curry-Howard isomophism. Groote, de, P. (ed.). Louvain-la-Neuve: Katholieke Universiteit Leuven, p. 139-191 (Cahiers du centre de logique; vol. 8).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

The language theory of Lambdainfty, a typed lambda-calculus where terms are types

Benthem Jutting, van, L. S., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 655-683 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Downloads (Pure)

The mathematical language Automath, its usage, and some of its extensions

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 73-100 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
5 Citations (Scopus)
34 Downloads (Pure)

The mathematical vernacular, a language for mathematics with typed sets

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 865-935 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
11 Citations (Scopus)
154 Downloads (Pure)

Twenty-five years of Automath research

Nederpelt, R. P., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 3-54 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

22 Citations (Scopus)
2 Downloads (Pure)

Typed lambda-calculus

Geuvers, J. H. & Nederpelt, R. P., 1994, Logic : mathematics, language, computer science and philosophy, Volume II. Swart, de, H. C. M., Geuvers, J. H., Nederpelt, R. P., Meyer, J-J. C., Kuiper, R., Penczek, W., Kogel, de, E. A. & Ophelders, W. M. J. (eds.). Frankfurt am Main: Peter Lang, p. 168-199

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Type systems : basic ideas and applications

Nederpelt, R. P., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 229-247 (Studies in Logic; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Untyped lambda-calculus

Geuvers, J. H. & Nederpelt, R. P., 1994, Logic : mathematics, language, computer science and philosophy, Volume II. Swart, de, H. C. M., Geuvers, J. H., Nederpelt, P., Meyer, J-J. C., Kuiper, R., Penczek, W., Kogel, de, E. A. & Ophelders, W. M. J. (eds.). Frankfurt am Main: Peter Lang, p. 132-167

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Verification by hand using linear time temporal logic

Penczek, W. & Kuiper, R., 1994, Logic : mathematics, language, computer science and philosophy, Volume II. Swart, de, H. C. M. & et al., X. (eds.). Frankfurt am Main: Peter Lang, p. 229-262

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Verification of mathematical proofs by a computer : a preparatory study for a project Automath

Bruijn, de, N. G., 1994, Selected Papers on Automath. Nederpelt, R. P., Geuvers, J. H. & Vrijer, de, R. C. (eds.). Amsterdam: North-Holland Publishing Company, p. 57-72 (Studies in logic and the foundations of mathematics; vol. 133).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
29 Downloads (Pure)

Yet another lecture on the icosahedron

Cohen, A. M., 1994, From universal morphisms to megabytes : a Baayen space odessey (On the occassion of the retirement of prof.dr. P.C. Baayen from the Stichting Mathematisch Centrum, 20 December 1994). Apt, K. R., Schrijver, L. & Temme, N. M. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 247-267

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
32 Downloads (Pure)
1993

A compositional approach to the design of hybrid systems

Hooman, J. J. M., 1993, Hybrid systems. Grossman, R. L., Nerode, A., Ravn, A. P. & Rischel, H. (eds.). Berlin: Springer, p. 121-148 (Lecture Notes in Computer Science; vol. 736).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Elements of a relational theory of datatypes

Backhouse, R. C. & Hoogendijk, P. F., 1993, Formal Program Development (IFIP TC2/WG2.1 State-of-the-Art Report). Möller, B., Partsch, H. & Schuman, S. (eds.). Berlin: Springer, p. 7-42 (Lecture Notes in Computer Science; vol. 755).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Gröbner bases and standard monomial theory

Cohen, A. M. & Cushman, R. H., 1993, Computational algebraic geometry / Ed. F. Eyssette, A. Galligo. Boston: Birkhäuser Verlag, p. 41-60 (Progress in mathematics; vol. 109).

Research output: Chapter in Book/Report/Conference proceedingChapterPopular

Open Access
File
72 Downloads (Pure)