Inhoudsopgave 1 Algemeen/missie 1

Some generalized subset selection procedures.

Selection Procedures I/II, Proceedings of the 3rd Schwerin Conference on Mathematical Statistics, Selection Procedures, Bad Doberan, Duitsland, 1993, pp. 84-91.
Abstracts
Wetenschappelijke publicaties (niet gerefereerd)
Adan, I.J.B.F.; Houtum, G.J. van; Wal, J. van der:

The symmetric longest queue sytem.

Memorandum COSOR 94-33, 1994, pp. 12.

Submitted for Stochastic Models.

Fitting discrete distributions on the first two moments.

Memorandum COSOR 94-36, EUT, Eindhoven, 1994, pp. 7.

Sumitted for PEIS.

Analyzing GIE_r 1 queues.

Memorandum COSOR 94-37, EUT, Eindhoven, 1994, pp. 9.

Submitted for publication in Opns.Res.Lett.

Column generation for single-machine scheduling problems.

Abstractenboek conferentie Combinatorial Optimization 94, 1994, p. 1.
Akker, J.M. van den:

Column generation for single-machine scheduling problems.

Abstractenboek 15th International Symposium on Mathematical Programming, 1994, p. 1.
Anthonisse, J.M.; Lenstra, J.K.:

Operational operations research at the Mathematical Centre.

In: Apt, K., Schrijver, A., Temme, N. (eds.) From Universal Morphisms to Megabytes: A Baayen Space Odyssey, CWI, Amsterdam, 1994, pp. 59-64.
Berkum, E.E.M. van; Linssen, H.N.; Overdijk, D.A.:

Inference rules and inferential distributions.

Memorandum COSOR 94-14, EUT, Eindhoven, 1994, pp. 12.
Berkum, E.E.M. van; Linssen, H.N.; Overdijk, D.A.:

The reduction and ancillary classification of observations.

Memorandum COSOR 94-15, EUT, Eindhoven, 1994, pp. 25.
Bondesson, L.; Kristiansen, G.K.; Steutel, F.W.:

Infinite divisibility of random variables and their integer parts.

U.U.D.M. rapport 1994:40, Dept. Mathematics, Uppsala university, Uppsala, Zweden, 1994, pp. 8.
Chakraborti, S.; Laan, P. van der:

Precedence tests and confidence bounds for complete data: an overview and some results.

Memorandum COSOR 94-19, EUT, Eindhoven, 1994, pp. 33.
Coolen, F.P.A.; Dekker, R.:

Analysis of a 2-phase model for optimization of condition monitoring intervals.

Econometric Institute Report 9428/A, Erasmus universiteit Rotterdam, 1994, pp. 22.
Coolen, F.P.A.; Newby, M.J.:

Bayesian reliability analysis with imprecise prior probabilities.

Reprint series Bdk/481, EUT, Eindhoven, 1994, pp. 11.
Di Bucchianico, A.:

Representations of stochastic processes.

Accepted by Syst. & Control Letter, 1994, pp. 9.
Di Bucchianico, A.; Loeb, D.:

A proof conjecture of Narayana on dominance refinements of the Kolmogorov-Smirnov two-sample test.

Memeorandum COSOR 94-18, EUT, Eindhoven, 1994, pp. 6.
Diks, E.B.; Kok, A.G. de:

Controlling a divergent 2-echelon network with transshipment using the consistent appropria­te share rationing policy.

Memorandum COSOR 94-40, EUT, Eindhoven, 1994, pp. 20.
Eenige, M.J.A.; Wal, J. van der:

An MPh1 queueing system subject to breakdowns with non-homogeneous interarrival, service, life and repair times.

Memorandum COSOR 94-13, EUT, Eindhoven, 1994, pp. 12.
Einmahl, J.H.J.:

A short and elementary proof of the main Bahadur-Kiefer theorem.

Memorandum COSOR 94-26, EUT, Eindhoven, 1994, pp. 6.
Einmahl, J.H.J.:

Extension to higher dimensions of the Jaeschke-Eicker result on the standardized empirical process.

Memorandum COSOR 94-31, EUT, Eindhoven, 1994, pp. 7.
Harn, K. van; Steutel, F.W.:

Infinite divisibility and the waiting-time paradox.

Memorandum COSOR 94-24, EUT, Eindhoven, 1994, pp. 11.

Hoogeveen, J.A.; Velde, S.L. van de:

Using positional completion times to solve a two machine flow shop problem involving batching and scheduling.

Abstractenboek 15th International Symposium on Mathematical Programming, 1994, pp. 1.

The equilibrium distribution for a class of multi-dimensional random walks.

Memorandum COSOR 94-01, EUT, Eindhoven, 1994, pp. 54.

Submitted for publication in Adv. Appl. Prob.

On the precedence relation method for deriving flexible bound models for queueing systems.

Memorandum COSOR 94-27, EUT, Eindhoven, 1994, pp. 6.
Kok, A.G.:

Logistics aspects of concurrent engineering: a decision support framework.

Intern rapport BDK/LBS-9412, EUT, Eindhoven, 1994, pp. 25.
Kok, A.G. de; Lagodimos, A.G.; Siedel, H.P.:

Stock allocation in a two-echelon distribution system.

Intern rapport BDK/LBS-9403, EUT, Eindhoven, 1994, pp. 19.
Kok, A.G. de; Verrijdt, J.:

Distribution planning for a divergent N-echelon network without intermediate stocks under service restrictions.

Intern rapport BDK/LBS-9404, EUT, Eindhoven, 1994, pp. 29.
Kok, A.G. de; Donselaar, K.; Rutten, W.:

Two replenishment strategies for the lost sales inventory model: a comparison.

Intern rapport BDK/LBS-9407, EUT, Eindhoven, 1994, pp. 16.
Kok, A.G. de; Fransoo, J.; Paulli, J.:

Makespan estimations in flexible manifacturing systems.

Intern rapport BDK/LBS-9414, EUT, Eindhoven, 1994, pp. 17.
Laan, P. van der:

Distributional and efficiency results for subset selection.

Memorandum COSOR 94-03, EUT, Eindhoven, 1994, pp. 16.
Laan, P. van der:

Subset selction for exponential populations: Determination of the select constant.

Memorandum COSOR 94-07, EUT, Eindhoven, 1994, pp. 6.
Righini, G.; Trubian, M.:

Approximation algorithms for the General and the Asymmetric Stacker-Crane problems.

Memorandum COSOR 94-20, EUT, Eindhoven, 1994, pp. 50.
Righini, G.:

A double-annealing algorithm for discrete location/allocation problems.

Memorandum COSOR 94-04, EUT, Eindhoven, pp. 16.

Accepted for publication on EJOR.

Comments on 'Decision Analysis and Support'

Science and Sustainability: discussions and comments on selected papers on IIASA's twen­tieth anniversary, IIASA, Laxenburg, 1994, pp. 143-145.
Williamson, D.P.; Hall, LJ.A.; Hoogeveen, J.A.; Hurkens, C.A.J.; Lenstra, J.K.; Shmoys, D.B.:

Short shop schedules.

Memorandum COSOR 94-06, EUT, Eindhoven, 1994, pp. 15.
Zante, van-Fokkert, J.I. de; Di Bucchianico, S.; Wijnen, J.Th.M.; Praagman, C.:

Average run lenghts for control charts for correlated output of feedback processes.

Technometrics, 1994, pp. 31, to appear.
Vakpublicaties
Venema, W.Z.:

"TCP WRAPPER, network monitoring, access control and booby traps". UNIX Security Symposium III Proceedings (Baltimore).

CERT Advisory CA-94:15, december 1994.

NFS Vulnerabilities.
1.3

VF-code: TUE.WSK.303.90.25

Vf-programma:

DISCRETE STRUCTUREN 3
Dissertaties
Sun, F.W.:

Decoding Techniques and a Modulation Scheme for Band Limited Communication.

Promotoren: prof.dr.ir. H.C.A. van Tilborg, prof.dr.ir. J.P.M. Schalkwijk.

Eindhoven, 22 februari 1994, pp. 55.

Codes for Correcting Insertion and Deletion Errors.

Promotoren: prof.dr. J.H. van Lint, prof.dr.ir. H.C.A. van Tilborg.

Eindhoven, 22 juni 1994, pp. 155.

Euclidean Representations and Substructures of Distance-Regular Graphs.

Promotoren: prof.dr. A.E. Brouwer, prof.dr. A.M. Cohen.

Eindhoven, 21 september 1994, pp. 122.

Covering Codes.

Promotoren: prof.dr. J.H. van Lint, prof.dr.ir. H.C.A. van Tilborg.

Eindhoven, 25 oktober 1994, pp. 106.

Security-Analysis of a Class of Cryptosystems Based on Linear Error-Correcting Codes.

Promotoren: prof.dr.ir. H.C.A. van Tilborg, prof.dr. A.E. Brouwer.

Eindhoven, 29 november 1994, pp. 197. (II)

Capacity and Coding in Digital Communications.

Promotoren: prof.dr.ir. J.P.M. Schalkwijk, prof. Berger.

Eindhoven, 22 december 1994, pp. 165. (III) (E)

The Leece lattice and the Golay code: bounded distance decoding and multilevel constructi­ons.

IEEE Transactions Information Theory, Vol. IT-40, 1994, pp. 1030-1043.
Blaum, M.; Bruck, J.; Melas, C.M.; Tilborg, H.C.A. van:

Methods for synchronizing (d,k)-constrained sequences.

IEEE International Conference on Communications, 1994, pp. 1800-1808.
Blokhuis, A.:

Multiple nuclei and the Lunelli-Sce conjecture.

Bulletin of the Belgian Mathematical Society Simon Stevin 1, 1994, pp. 349-353.
Blokhuis, A.:

On nuclei and affine blocking sets.

Journal of Combinatorial Theory A 6, 1994, pp. 273-276.
Blokhuis, A.:

On the size of a blocking set in PG(2,p).

Combinatorica 14, 1994, pp. 111-114.
Blokhuis, A.; Szonyi, T.:

Irregular weighting of 1-designs.

Discrete Mathematics 131, 1994, pp. 339-343.
Bours, P.A.H.:

Construction of fixed-length insertion/deletion correcting runlenght-limited codes.

IEEE Transactions on Information Theory, Vol. IT-40, no. 5, 1994, pp. 16.

Bours, P.A.H.:

Codes capable of correcting burts of insertions and deletions.

In: Proceedings of the 1994 International Symposium on Information Theory, 1994, pp. 63.

On the uniqueness of a regular thin near octagon on 288 vertices.

(or the semibiplane belonging to the Mathieu group M_12).

Discr. Math. 126, 1994, pp. 13-27.

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

In: Apt, K., Schrijver, A., Temme, N. (eds.) From Universal Morphisms to Megabytes: A Baayen Space Odyssey, Stichting Mathematisch Centrum, Amsterdam, 1994, pp. 231-233.
Brouwer, A.E.; Cohen, A.M.; Hall, J.I.; Wilbrink, H.A.:

Near polygons and Fischer spaces.

Geometriae Dedicata 49, 1994, pp. 349-368.
Brouwer, A.E.; Numata, M.:

A characterization of some graphs which do not contain 3-claws.

Discr. Math. 124, 1994, pp. 49-54.
Bruijn, N.G. de:

A model for information processing in human memory and consciousness.

Nieuw Archief Wiskunde, Vol. 12 (4), 1994, pp. 35-48.
Bruijn, N.G. de:

Highlighting the lambda-free fragment of automath.

In: Higher Order Logic Theorem Proving and its Applications. Proceedings 7th International Workshop, Valetta, Malta, LNCS Vol. 859, Springer Verlag 1994, pp. 81-96.
Bruijn, N.G. de:

Verification of mathematical proofs by a computer. A preparatory study for a project auto­math.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 57-72.
Bruijn, N.G. de:

Reflections on Automath.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 201-228.
Bruijn, N.G. de:

AUT-SL, a single line version of automath.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 275-281.
Bruijn, N.G. de:

Some extensions of automath: the AUT4-family.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 283-288.
Bruijn, N.G. de:

AUT-QE without type inclusion.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 289-297.
Bruijn, N.G. de:

Example of a text written in automath.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 687-700.
Bruijn, N.G. de:

The mathematical vernacular, a language for mathematics with typed sets.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 865-935.
Bruijn, N.G. de:

Computer program semantics in space and time.

In: Nederpelt, R.P., Geuvers, J.H., Vrijer, R.C. de (eds.) Selected Papers on Automath., Studies in Logic, Vol. 133, North-Holland, 1994, pp. 947-972.
Cohen, A.M.:

Yet another lecture on the icosahedron.

In: Apt, K., Schrijver, L., Temme, N. (eds.), From Universal Morphisms to Megabytes: A Baayen Space Odyssey, Amsterdam, 1994, pp. 247-267.
Cohen, A.M.:

Recent results on Coxeter groups.

In: Bisztriczky, T., McMullen, P., Schneider, R., Ivi_ Weiss, A. (eds.), Polytopes: Abstracts, Convex and Computational, Kluwer Acad.Publ., Dordrecht, 1994, pp. 1-19.
Cuypers, H.:

Sympletic geometries, transvection groups and modules.

Journal of Combinatorial Theory A 65, 1994, pp. 39-59.
Dijk, M. van:

A linear construction of perfect secret sharing schemes.

Pre-Proceedings of Eurocrypt'94, 1994, pp. 9-12.
Dijk, M. van:

On the information rate of perfect secret sharing schemes.

Proceedings ISIT'94, 1994, p. 489.
Dijk, M. van:

Broadcast channels with confidential messages, with tampering - the binary symmetric case.

In: Proceedings of the Eidma Winter meeting on Coding Theory, Information Theory and Cryptology, 1994, p. 42.
Duursma, I.M.; Kötter, R.:

Error-locating pairs for cyclic codes.

IEEE Transactions on Information Theory, Vol.40, 1994, pp. 1108-1121.
Duursma, I.M.:

On erasure decoding of AG-codes.

Proceedings IEEE Information Theory Workshop, Moskou, 1994, pp. 24-26.
Eupen, M. van:

Five new optimal ternary linear codes.

IEEE Transactions on Information Theory, Vol. 40, 1994, p. 193.
Eupen, M. van:

Four non-existence results for ternary linear codes.

In: Proceedings of the 1994 IEEE International Symposium on Information Theory, 1994, p. 432.
Eupen, M. van; Brouwer, A.E.:

The correspondence between projective codes and 2-weight codes.

In: Proceedings of the EIDMA Winter meeting on Coding Theory, Information Theory and Cryptology, 1994, p. 39.
Eupen, M. van; Hill, R.:

An optimal ternary [69,5,45] code and related codes.

Design, Codes, and Cryptography, Vol. 4, no. 3, 1994, pp. 271-282.
Koolen, J.H.; Sphectorov, S.V.:

Distance-regular graphs whose distance matrix has only one positive eigenvalue.

European Journal of Combinatorics 15, 1994, pp. 269-275.
Lint, J.H. van:

What is Discrete Mathematics and how should we teach it?

Selected Lectures from the 7th Int. Congress on Math. Education, 1994, pp. 263-270.
Lint, J.H. van:

Onder verhoogde druk.

Rede opening academisch jaar 1994/1995, EUT, Eindhoven, 1994, pp. 20.
Pellikaan, R.:

The shift bound for cyclic, Reed-Muller and algebraic-geometric codes.

Proceedings IEEE International Workshop on Information Theory, Moskou, 1994, pp. 75-76.
Peremans, W.:

An introduction.

Nieuw Archief voor Wiskunde 12 (4), 1994, pp. 135-136.

Schalkwijk, J.P.M.; Meeuwissen, H.B.; Bloemen, A.H.A.:

A Substantial Improvement of the Lower Bound to the Capacity Region of the Binary Mul­tiplying Channel.

Proceedings fifteenth Symposium on Information Theory in the Benelux, Louvain-la-Neuve, België, 1994, pp. 175-182. (E)

A New Coding Strategy for the Binary Multiplying Channel.

Proceedings Fourth Benelux-Japan Workshop on Coding and Information Theory, Eindhoven, 1994, p. 16. (E)
Schalkwijk, J.P.M.; Meeuwissen, H.B.; Bloemen, A.H.A.:

Semi-feedback for the Binary Multiplying Channel.

Proceedings 1994 IEEE International Symposium on Information Theory, Trondheim, Noor­wegen, 1994, p. 325. (E)
Seidel, J.J.:

Discrete Non-Euclidean geometry.

`In: Buekenhout, F. (ed.) Handbook of Incidence Geometry, chapter 15, 1994, pp. 75.
Seidel, J.J.:

Distance matrices and Lorentz space.

European Journal of Combinatorics 15, 1994, pp. 45-46.
Seidel, J.J.; Neumaier, A.:

Measures of strenght 2e optiml designs of degree e.

The Indian Journal Statis. 54, 1994, pp. 299-309.
Seidel, J.J.; Cameron, P.J.; Tsaranov, S.V.:

Signed graphs, root lattices and Coxeter groups.

Journal Algebra 164, 1994, 173-209.
Struik, R.:

An improvement of the Van Wee bound for binary linear covering codes.

IEEE Trans. Inform. Theory, Vol. IT-40, 1994, pp. 1280-1284.
Struik, R.:

On the structure of linear codes with covering radius two and three.

IEEE Trans. Inform. Theory, Vol. IT-40, 1994, pp. 1406-1416.
Sun, F.W.; Tilborg, H.C.A. van:

Some features of coset decoding.

In: Proceedings of IEEE International Workshop on Information Theory, Moskou, Rusland, 1994, pp. 95-97.
Sun, F.W.; Tilborg, H.C.A. van:

Fast bounded-distance decoding of the Nordstrom-Robinson code.

In: Blahut, R.E., e.a. (eds.) Communications and Cryptology; two sides of the same tapestry,

Kluwer Academic Publishers, Boston, 1994, pp. 391-398.

Code voor positionering van een as.

IWDE Report 94-02, t.b.v. PNEU/TEC B.V., 1994, pp. 16.
Veugen, P.J.M.:

Error Probabilities of Repetition Feedback Strategies with Fixed Delay for Discrete Memory­less Channels.

Prceedings Fifteenth Symposium on Information Theory in the Benelux, Louvain-la-Neuve, België, 1994, pp. 188-191. (E)
Veugen, P.J.M.:

Computing the Precoding Distribution of a Capacity Achieving Repetition Feedback Strategy.

Proceedings Fourth Benelux-Japan Workshop on coding and Information Theory, Eindhoven, 1994, p.17. (E)
Veugen, P.J.M.:

Capacity Achieving Strategies for Discrete Memoryless Channels with Feedback.

Proceedings 1994 IEEE International Symposium on Information Theory, Trondheim, Noor­wegen, 1994, p. 466. (E)
Wiemans, F.P.E.; Smits, J.M.; Tilborg, H.C.A. van:

Encryptie: justitiële en particuliere belangen.

Delikt en delinkwent, 1994, pp. 340-359.
Nagekomen publicaties
Blokhuis, A.:

Extremal problems for finite sets.

In: Frankl, P., Furedi, Z., Kantona, G., Miklos, D. (eds.) Bolay Society Mathematical Studies 3, 1991, pp. 111-135.
Wetenschappelijke publicaties (niet gerefereerd)
Bloemen, A.H.A.:

Practical Save-Up Strategies.

Proceedings EIDMA Winter Meeting on Coding Theory, Information Theory and Cryptology, Veldhoven, 1994, p. 19. (E)
Boer, M.A. de:

The generalized hamming weights of some hyperelliptic codes.

Proceedings of the EIDMA Winter Meeting on Coding Theory, Information Theory and Cryptology, 1994, p. 49.
Duursma, I.M.:

On termination criteria for decoding algorithms.

Proceedings EIDMA Winter Meeting, Veldhoven, 1994, pp. 50-51.

Pellikaan, R.:

On asymptotically good codes on algebraic curves.

Proceedings EIDMA Midwinter Meeting, Veldhoven, 1994, p. 47.

Constrained Sequences and Optimization.

Proceedings EIDMA Winter Meeting on coding Theory, Information Theory and Cryptology, Veldhoven, 1994, p. 22. (E)
1.4

VF-code: TUE.INF.301.90.26

VF-programma: PROGRAMMEREN
Dissertaties
Borghuis, V.A.J.:

Coming to Terms with Modal Logic: On the interpretation of modalities in typed λ-calculus.

Promotoren: prof.dr. J.C.M. Baeten, prof.dr. H.C. Bunt. Co-promotor: dr. R.P. Nederpelt.

Eindhoven, 9 december 1994, pp. 229. (I)

A Programming Logic Based on Type Theory.

Promotoren: prof.dr. F.E.J. Kruzeman Aretz, prof.dr. H.P. Barendregt. Co-promotor: dr.ir. C. Hemerik.

Eindhoven, 5 oktober 1994, pp. 169. (I)

Calculating path algorithms.

Science of Computer Programming, Vol. 22, no. 1/2, 1994, pp. 3-19.
Barbanera, F.; Fernández, M.; Geuvers, J.H.:

Modularity of Strong Normalization in lambda-algebraic-cube.

Proceedings of the ninth Annual Symposium on Logic in Computer Science, IEEE Computer Society, Parijs, Frankrijk, 1994, pp. 406-415.
Benthem Jutting, L.S. van:

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

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 655-684.
Benthem Jutting, L.S.van:

An implementation of substitution in a lambda calculus with dependent types.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 809-838.

Benthem Jutting, L.S.van:

Description of AUT-68.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 251-274.

A normal form theorem in a lambda calculus with types.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 371-374.
Benthem Jutting, L.S.van:

Checking Landau's "Grundlagen" in the Automath system.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 701, 720-732, 763-780, 805-808.
Doornbos, H.:

A relational model of programs without the restriction to Egli-Milner-Monotonic Constructs.

In: Olderog, E.R. (ed.) Programming Concepts, Methods and Calculi (A-56), Elsevier Science BV, North-Holland, 1994, pp.357-376.
Geuvers, J.H.:

Conservativity between logics and typed lambda calculi.

In: Barendregt, H., Nipkow, T. (eds.) Types for Proofs and Programs, Springer Verlag, LNCS 806, 1994, pp. 79-107.
Geuvers, J.H.:

The Calculus of Constructions and Higher Order Logic.

In: de Groote, Ph. (ed.) The Curry-Howard isomorphism, Vol. 8 of the 'Cahiers du centre de logique', Université catholique de Louvain, Academia, Louvain-la-Neuve, België, 1994, pp. 139-191.
Geuvers, J.H.; Nederpelt, R.P.:

Untyped lambda-calculus.

In: De Swart, H.C.M. et al. (ed.), Logic: Mathematics, Language, Computer Science and

Philosophy, Peter Lang, Frankfurt am Main, Vol. II, 1994, pp. 132-167.

Typed lambda-calculus.

In: De Swart, H.C.M. et al. (ed.), Logic: Mathematics, Language, Computer Science and

Philosophy, Peter Lang, Frankfurt am Main, Vol. II, 1994, pp. 168-199.

On the Church-Rosser property for Expressive Type Systems and its Consequences for their Metatheoretic Study.

In: Proceedings of the Ninth Annual Symposium on Logic in Computet Science, IEEE Computer Society, Parijs, Frankrijk, 1994, pp. 320-329.
Hoogendijk, P.; Backhouse, R.C.:

Relational programming laws in the tree, list, bag, set hierarchy.

Science of Computer Programming, Vol. 22, no. 1/2, 1994, pp. 67-105.
Kaldewaij, A.; Dielissen, V.J.:

Decomposable functions and leaf trees: A systematic Approach.

In: Olderog, E.R. (ed.) Programming Concepts, Methods and Calculi (A-56), Elsevier Science BV, North-Holland, 1994, pp. 3-17.
Kamareddine, F.; Nederpelt, R.:

A unified approach to type theory through a refind lambda calculus.

Theoretical Computer Science 136, 1994, pp. 183-216.
Nederpelt, R.P.:

Type systems -- basic ideas and applications.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 229-248.
Nederpelt, R.P.:

Strong normalization in a typed lambda calculus with lambda structured types.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 389-468.
Nederpelt, R.P.; Geuvers, J.H.; Vrijer, R.C. de: (eds.)

Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, North-Holland, Amsterdam, 1994, pp. 1024.

Twenty-five years of Automath Research.

Republication in Selected Papers on Automath, Studies in logic and the foundations of mathematics, Vol. 133, 1994, pp. 3-54.