Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Broda, Sabine
and
Damas, Luís
1999.
Typed Lambda Calculi and Applications.
Vol. 1581,
Issue. ,
p.
69.
Kfoury, A.J.
and
Pericas-Geertsen, S.M.
1999.
Type inference for recursive definitions.
p.
119.
Damiani, Ferruccio
2000.
Foundations of Software Science and Computation Structures.
Vol. 1784,
Issue. ,
p.
82.
Fujita, Ken-Etsu
and
Schubert, Aleksy
2000.
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics.
Vol. 1872,
Issue. ,
p.
505.
Broda, Sabine
and
Damas, Luís
2001.
Progress in Artificial Intelligence.
Vol. 2258,
Issue. ,
p.
321.
Taha, Walid
Hudak, Paul
and
Wan, Zhanyong
2001.
Embedded Software.
Vol. 2211,
Issue. ,
p.
185.
Tiede, Hans-Joerg
2001.
Logical Aspects of Computational Linguistics.
Vol. 2014,
Issue. ,
p.
251.
Jiang, Hui
Lin, Dong
Zhang, Xingyuan
and
Xie, Xiren
2001.
Type system in programming languages.
Journal of Computer Science and Technology,
Vol. 16,
Issue. 3,
p.
286.
Schmidt-Schauß, Manfred
and
Schulz, Klaus U.
2002.
Computer Science Logic.
Vol. 2471,
Issue. ,
p.
522.
Bunder, Martin
2002.
Handbook of Philosophical Logic.
p.
229.
Damiani, Ferruccio
2003.
Rank 2 intersection types for modules.
p.
67.
Taha, Walid
and
Nielsen, Michael Florentin
2003.
Environment classifiers.
p.
26.
Taha, Walid
and
Nielsen, Michael Florentin
2003.
Environment classifiers.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 1,
p.
26.
Fulop, Sean A.
2004.
Semantic bootstrapping of type-logical grammar.
Journal of Logic, Language and Information,
Vol. 14,
Issue. 1,
p.
49.
Broda, Sabine
Damas, Luı́s
Finger, Marcelo
and
Silva e Silva, Paulo
2004.
The decidability of a fragment of BB′IW-logic.
Theoretical Computer Science,
Vol. 318,
Issue. 3,
p.
373.
Alves, Sandra
and
Florido, Mário
2004.
Logic Based Program Synthesis and Transformation.
Vol. 3018,
Issue. ,
p.
160.
Wolthusen, S.D.
2004.
Modeling critical infrastructure requirements.
p.
101.
Calcagno, Cristiano
Moggi, Eugenio
and
Taha, Walid
2004.
Programming Languages and Systems.
Vol. 2986,
Issue. ,
p.
79.
Damiani, Ferruccio
2005.
Typed Lambda Calculi and Applications.
Vol. 3461,
Issue. ,
p.
146.
Fulop, Sean A.
2005.
Semantic Bootstrapping of Type-Logical Grammar.
Journal of Logic, Language and Information,
Vol. 14,
Issue. 1,
p.
49.