Zoekresultaten
Resultaat 1 - 5 (van 5)
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 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 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.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
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