References of "Wells, J. B."
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailReducibility proofs in the lambda-calculus
Kamareddine, Fairouz; Rahli, Vincent UL; Wells, J. B.

in Fundamenta Informaticae (2012), 121

Detailed reference viewed: 42 (0 UL)
Full Text
Peer Reviewed
See detailOn Realisability Semantics for Intersection Types with Expansion Variables.
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent UL et al

in Fundamenta Informaticae (2012), 121

Detailed reference viewed: 62 (0 UL)
Full Text
See detailA constraint system for a SML type error slicer
Rahli, Vincent UL; Wells, J. B.; Kamareddine, Fairouz

Report (2010)

Detailed reference viewed: 50 (0 UL)
Full Text
Peer Reviewed
See detailA Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent UL et al

in ICTAC 2008 (2008)

Detailed reference viewed: 86 (0 UL)
Full Text
Peer Reviewed
See detailReducibility Proofs in the λ-Calculi with Intersection Types
Kamareddine, Fairouz; Rahli, Vincent UL; Wells, J. B.

Scientific Conference (2008)

Detailed reference viewed: 35 (2 UL)
Full Text
Peer Reviewed
See detailRealisability Semantics for Intersection Types and Expansion Variables
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent UL et al

Scientific Conference (2008)

Detailed reference viewed: 31 (1 UL)