Zoekresultaten
Resultaat 1 - 8 (van 8)
R. Bloo | F. Kamareddine | R.P. Nederpelt Beyond β-reduction in Church's →l⇋→
Non-fictie
Engels | 22 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1994
Gedrukt boek
R. Bloo | F. Kamareddine | R.P. Nederpelt On →π⇋-conversion in type theory
Non-fictie
Engels | 16 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1994
Gedrukt boek
R. Bloo | F. Kamareddine | R.P. Nederpelt The →l⇋-cube with classes of terms modulo conversion
Non-fictie
Engels | 12 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1994
Gedrukt boek
F. Kamareddine | R. Bloo | R.P. Nederpelt Characterizing →l⇋-terms with equal reduction behavior
Non-fictie
Engels | 12 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek
F. Kamareddine | Twan Laan A correspondence between Nuprl and the ramified theory of types
Non-fictie
Engels | 12 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1996
Gedrukt boek
F. Kamareddine | R.P. Nederpelt Canonical typing and →P⇋-conversion in the Barendregt cube
Non-fictie
Engels | 19 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1994
Gedrukt boek
F. Kamareddine | R.P. Nederpelt Canonical typing and →P⇋-conversion
Non-fictie
Engels | 51 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
R.P. Nederpelt | F. Kamareddine On stepwise explicit substitution
Non-fictie
Engels | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1992
Gedrukt boek