Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Kfoury, A.J.
and
Pericas-Geertsen, S.M.
1999.
Type inference for recursive definitions.
p.
119.
Broda, Sabine
and
Damas, Luís
1999.
Typed Lambda Calculi and Applications.
Vol. 1581,
Issue. ,
p.
69.
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.
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.
Tiede, Hans-Joerg
2001.
Logical Aspects of Computational Linguistics.
Vol. 2014,
Issue. ,
p.
251.
Taha, Walid
Hudak, Paul
and
Wan, Zhanyong
2001.
Embedded Software.
Vol. 2211,
Issue. ,
p.
185.
Broda, Sabine
and
Damas, Luís
2001.
Progress in Artificial Intelligence.
Vol. 2258,
Issue. ,
p.
321.
Bunder, Martin
2002.
Handbook of Philosophical Logic.
p.
229.
Schmidt-Schauß, Manfred
and
Schulz, Klaus U.
2002.
Computer Science Logic.
Vol. 2471,
Issue. ,
p.
522.
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.
Wolthusen, S.D.
2004.
Modeling critical infrastructure requirements.
p.
101.
Fulop, Sean A.
2004.
Semantic bootstrapping of type-logical grammar.
Journal of Logic, Language and Information,
Vol. 14,
Issue. 1,
p.
49.
Alves, Sandra
and
Florido, Mário
2004.
Logic Based Program Synthesis and Transformation.
Vol. 3018,
Issue. ,
p.
160.
Calcagno, Cristiano
Moggi, Eugenio
and
Taha, Walid
2004.
Programming Languages and Systems.
Vol. 2986,
Issue. ,
p.
79.
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.
Schmidt-Schauß, Manfred
and
Schulz, Klaus U.
2005.
Decidability of bounded higher-order unification.
Journal of Symbolic Computation,
Vol. 40,
Issue. 2,
p.
905.
Coquand, Thierry
2005.
Typed Lambda Calculi and Applications.
Vol. 3461,
Issue. ,
p.
1.