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: 46 (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: 64 (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: 55 (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: 90 (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: 38 (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: 34 (1 UL)