Back
  1. Home
  3. Detailled Reference
Request a copy
Article (Scientific journals)
On Realisability Semantics for Intersection Types with Expansion Variables.
Kamareddine, Fairouz; Nour, Karim; Rahli, Vincent et al.
2012 • In Fundamenta Informaticae, 121
Peer reviewed
Permalink
https://hdl.handle.net/10993/22677
DOI
10.3233/FI-2012-774
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
FI_fund-inf-short.pdf
Author preprint (281.91 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Author, co-author :
Kamareddine, Fairouz
Nour, Karim
Rahli, Vincent ;  Heriot-Watt University > School of Mathematical and Computer Sciences
Wells, J. B.
External co-authors :
yes
Language :
English
Title :
On Realisability Semantics for Intersection Types with Expansion Variables.
Publication date :
2012
Journal title :
Fundamenta Informaticae
Volume :
121
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 30 November 2015

Statistics

Number of views
30 (0 by Unilu)
Number of downloads
0 (0 by Unilu)
More statistics
Scopus citations®
 
0
Scopus citations®
without self-citations
0
WoS citations™
 
0

Bibliography

Similar publications


Contact ORBilu