BibTeX records: Luís Damas

download as .bib file

@article{DBLP:journals/eswa/Moreira-MatiasG16,
  author       = {Lu{\'{\i}}s Moreira{-}Matias and
                  Jo{\~{a}}o Gama and
                  Michel Ferreira and
                  Jo{\~{a}}o Mendes{-}Moreira and
                  Lu{\'{\i}}s Damas},
  title        = {Time-evolving {O-D} matrix estimation using high-speed {GPS} data
                  streams},
  journal      = {Expert Syst. Appl.},
  volume       = {44},
  pages        = {275--288},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.eswa.2015.08.048},
  doi          = {10.1016/J.ESWA.2015.08.048},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eswa/Moreira-MatiasG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/Moreira-MatiasM14,
  author       = {Lu{\'{\i}}s Moreira{-}Matias and
                  Jo{\~{a}}o Mendes{-}Moreira and
                  Michel Ferreira and
                  Jo{\~{a}}o Gama and
                  Lu{\'{\i}}s Damas},
  title        = {An online learning framework for predicting the taxi stand's profitability},
  booktitle    = {17th International {IEEE} Conference on Intelligent Transportation
                  Systems, {ITSC} 2014, Qingdao, China, October 8-11, 2014},
  pages        = {2009--2014},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ITSC.2014.6957999},
  doi          = {10.1109/ITSC.2014.6957999},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/Moreira-MatiasM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/FerreiraDCdFSG14,
  author       = {Michel Ferreira and
                  Lu{\'{\i}}s Damas and
                  Hugo Concei{\c{c}}{\~{a}}o and
                  Pedro M. d'Orey and
                  Ricardo Fernandes and
                  Peter Steenkiste and
                  Pedro Gomes},
  title        = {Self-automated parking lots for autonomous vehicles based on vehicular
                  ad hoc networking},
  booktitle    = {2014 {IEEE} Intelligent Vehicles Symposium Proceedings, Dearborn,
                  MI, USA, June 8-11, 2014},
  pages        = {472--479},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/IVS.2014.6856561},
  doi          = {10.1109/IVS.2014.6856561},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ivs/FerreiraDCdFSG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/Moreira-MatiasGFMD13,
  author       = {Lu{\'{\i}}s Moreira{-}Matias and
                  Jo{\~{a}}o Gama and
                  Michel Ferreira and
                  Jo{\~{a}}o Mendes{-}Moreira and
                  Lu{\'{\i}}s Damas},
  title        = {Predicting Taxi-Passenger Demand Using Streaming Data},
  journal      = {{IEEE} Trans. Intell. Transp. Syst.},
  volume       = {14},
  number       = {3},
  pages        = {1393--1402},
  year         = {2013},
  url          = {https://doi.org/10.1109/TITS.2013.2262376},
  doi          = {10.1109/TITS.2013.2262376},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tits/Moreira-MatiasGFMD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/Moreira-MatiasGFMD13,
  author       = {Lu{\'{\i}}s Moreira{-}Matias and
                  Jo{\~{a}}o Gama and
                  Michel Ferreira and
                  Jo{\~{a}}o Mendes{-}Moreira and
                  Lu{\'{\i}}s Damas},
  editor       = {Lu{\'{\i}}s Correia and
                  Lu{\'{\i}}s Paulo Reis and
                  Jos{\'{e}} Cascalho},
  title        = {On Predicting the Taxi-Passenger Demand: {A} Real-Time Approach},
  booktitle    = {Progress in Artificial Intelligence - 16th Portuguese Conference on
                  Artificial Intelligence, {EPIA} 2013, Angra do Hero{\'{\i}}smo,
                  Azores, Portugal, September 9-12, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8154},
  pages        = {54--65},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40669-0\_6},
  doi          = {10.1007/978-3-642-40669-0\_6},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epia/Moreira-MatiasGFMD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Moreira-MatiasFGFMD13,
  author       = {Lu{\'{\i}}s Moreira{-}Matias and
                  Ricardo Fernandes and
                  Jo{\~{a}}o Gama and
                  Michel Ferreira and
                  Jo{\~{a}}o Mendes{-}Moreira and
                  Lu{\'{\i}}s Damas},
  editor       = {Jo{\~{a}}o Gama and
                  Michael May and
                  Nuno Cavalheiro Marques and
                  Paulo Cortez and
                  Carlos Abreu Ferreira},
  title        = {On Recommending Urban Hotspots to Find Our Next Passenger},
  booktitle    = {Proceedings of the 3rd Workshop on Ubiquitous Data Mining co-located
                  with the 23rd International Joint Conference on Artificial Intelligence
                  {(IJCAI} 2013), Beijing, China, August 3, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1088},
  pages        = {17},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1088/paper3.pdf},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Moreira-MatiasFGFMD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CostaRD12,
  author       = {V{\'{\i}}tor Santos Costa and
                  Ricardo Rocha and
                  Lu{\'{\i}}s Damas},
  title        = {The {YAP} Prolog system},
  journal      = {Theory Pract. Log. Program.},
  volume       = {12},
  number       = {1-2},
  pages        = {5--34},
  year         = {2012},
  url          = {https://doi.org/10.1017/S1471068411000512},
  doi          = {10.1017/S1471068411000512},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/CostaRD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/Moreira-MatiasGFMD12,
  author       = {Lu{\'{\i}}s Moreira{-}Matias and
                  Jo{\~{a}}o Gama and
                  Michel Ferreira and
                  Jo{\~{a}}o Mendes{-}Moreira and
                  Lu{\'{\i}}s Damas},
  editor       = {Jaakko Hollm{\'{e}}n and
                  Frank Klawonn and
                  Allan Tucker},
  title        = {Online Predictive Model for Taxi Services},
  booktitle    = {Advances in Intelligent Data Analysis {XI} - 11th International Symposium,
                  {IDA} 2012, Helsinki, Finland, October 25-27, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7619},
  pages        = {230--240},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34156-4\_22},
  doi          = {10.1007/978-3-642-34156-4\_22},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ida/Moreira-MatiasGFMD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/Moreira-MatiasG12,
  author       = {Lu{\'{\i}}s Moreira{-}Matias and
                  Jo{\~{a}}o Gama and
                  Michel Ferreira and
                  Lu{\'{\i}}s Damas},
  title        = {A predictive model for the passenger demand on a taxi network},
  booktitle    = {15th International {IEEE} Conference on Intelligent Transportation
                  Systems, {ITSC} 2012, Anchorage, AK, USA, September 16-19, 2012},
  pages        = {1014--1019},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ITSC.2012.6338680},
  doi          = {10.1109/ITSC.2012.6338680},
  timestamp    = {Mon, 30 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itsc/Moreira-MatiasG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scube/FerreiraFCGdMGLD12,
  author       = {Michel Ferreira and
                  Ricardo Fernandes and
                  Hugo Concei{\c{c}}{\~{a}}o and
                  Pedro Emanuel Rodrigues Gomes and
                  Pedro M. d'Orey and
                  Lu{\'{\i}}s Moreira{-}Matias and
                  Jo{\~{a}}o Gama and
                  Fernanda Lima and
                  Lu{\'{\i}}s Damas},
  editor       = {Francisco Martins and
                  Lu{\'{\i}}s M. B. Lopes and
                  Herv{\'{e}} Paulino},
  title        = {Vehicular Sensing: Emergence of a Massive Urban Scanner},
  booktitle    = {Sensor Systems and Software - Third International {ICST} Conference,
                  S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {102},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32778-0\_1},
  doi          = {10.1007/978-3-642-32778-0\_1},
  timestamp    = {Mon, 30 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scube/FerreiraFCGdMGLD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vnc/Moreira-MatiasFGFMD12,
  author       = {Lu{\'{\i}}s Moreira{-}Matias and
                  Ricardo Fernandes and
                  Jo{\~{a}}o Gama and
                  Michel Ferreira and
                  Jo{\~{a}}o Mendes{-}Moreira and
                  Lu{\'{\i}}s Damas},
  title        = {An online recommendation system for the taxi stand choice problem
                  (Poster)},
  booktitle    = {2012 {IEEE} Vehicular Networking Conference, {VNC} 2012, Seoul, Korea
                  (South), November 14-16, 2012},
  pages        = {173--180},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/VNC.2012.6407427},
  doi          = {10.1109/VNC.2012.6407427},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vnc/Moreira-MatiasFGFMD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nets4cars/GomesOFD11,
  author       = {Pedro Emanuel Rodrigues Gomes and
                  Cristina Olaverri{-}Monreal and
                  Michel Ferreira and
                  Lu{\'{\i}}s Damas},
  editor       = {Thomas Strang and
                  Andreas Festag and
                  Alexey V. Vinel and
                  Rashid Mehmood and
                  Cristina Rico Garcia and
                  Matthias R{\"{o}}ckl},
  title        = {Driver-Centric {VANET} Simulation},
  booktitle    = {Communication Technologies for Vehicles - Third International Workshop,
                  Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24,
                  2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6596},
  pages        = {143--154},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19786-4\_13},
  doi          = {10.1007/978-3-642-19786-4\_13},
  timestamp    = {Sat, 09 Apr 2022 12:41:03 +0200},
  biburl       = {https://dblp.org/rec/conf/nets4cars/GomesOFD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-3896,
  author       = {V{\'{\i}}tor Santos Costa and
                  Lu{\'{\i}}s Damas and
                  Ricardo Rocha},
  title        = {The {YAP} Prolog System},
  journal      = {CoRR},
  volume       = {abs/1102.3896},
  year         = {2011},
  url          = {http://arxiv.org/abs/1102.3896},
  eprinttype    = {arXiv},
  eprint       = {1102.3896},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-3896.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ConceicaoDFB08,
  author       = {Hugo Concei{\c{c}}{\~{a}}o and
                  Lu{\'{\i}}s Damas and
                  Michel Ferreira and
                  Jo{\~{a}}o Barros},
  editor       = {Roger L. Wainwright and
                  Hisham Haddad},
  title        = {Large-scale simulation of {V2V} environments},
  booktitle    = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
                  Fortaleza, Ceara, Brazil, March 16-20, 2008},
  pages        = {28--33},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1363686.1363694},
  doi          = {10.1145/1363686.1363694},
  timestamp    = {Tue, 06 Nov 2018 11:06:48 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/ConceicaoDFB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/BrodaD07,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas},
  editor       = {Daniel Leivant and
                  Ruy J. G. B. de Queiroz},
  title        = {On Principal Types of {BCK-} \emph{lambda} -Terms},
  booktitle    = {Logic, Language, Information and Computation, 14th International Workshop,
                  WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4576},
  pages        = {120--130},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73445-1\_9},
  doi          = {10.1007/978-3-540-73445-1\_9},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/BrodaD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BrodaD05,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas},
  title        = {On Long Normal Inhabitants of a Type},
  journal      = {J. Log. Comput.},
  volume       = {15},
  number       = {3},
  pages        = {353--390},
  year         = {2005},
  url          = {https://doi.org/10.1093/logcom/exi016},
  doi          = {10.1093/LOGCOM/EXI016},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/BrodaD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FloridoD04,
  author       = {M{\'{a}}rio Florido and
                  Lu{\'{\i}}s Damas},
  title        = {Linearization of the lambda-calculus and its relation with intersection
                  type systems},
  journal      = {J. Funct. Program.},
  volume       = {14},
  number       = {5},
  pages        = {519--546},
  year         = {2004},
  url          = {https://doi.org/10.1017/S0956796803004970},
  doi          = {10.1017/S0956796803004970},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/FloridoD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrodaDFS04,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas and
                  Marcelo Finger and
                  Paulo Silva e Silva},
  title        = {The decidability of a fragment of BB'IW-logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {318},
  number       = {3},
  pages        = {373--408},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2004.02.002},
  doi          = {10.1016/J.TCS.2004.02.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BrodaDFS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/FerreiraD03,
  author       = {Michel Ferreira and
                  Lu{\'{\i}}s Damas},
  editor       = {Ver{\'{o}}nica Dahl and
                  Philip Wadler},
  title        = {{WAM} Local Analysis},
  booktitle    = {Practical Aspects of Declarative Languages, 5th International Symposium,
                  {PADL} 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2562},
  pages        = {286--303},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36388-2\_20},
  doi          = {10.1007/3-540-36388-2\_20},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/FerreiraD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrodaD02,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas},
  editor       = {Ruy J. G. B. de Queiroz and
                  Luiz Carlos Pereira and
                  Edward Hermann Haeusler},
  title        = {Studying provability in implicational intuitionistic logic the formula
                  tree approach},
  booktitle    = {9th Workhop on Logic, Language, Information and Computation, WoLLIC
                  2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {67},
  pages        = {131--147},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80545-0},
  doi          = {10.1016/S1571-0661(04)80545-0},
  timestamp    = {Mon, 05 Dec 2022 16:07:41 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrodaD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BrodaD01,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas},
  title        = {Counting a Type's (Principal) Inhabitants},
  journal      = {Fundam. Informaticae},
  volume       = {45},
  number       = {1-2},
  pages        = {33--51},
  year         = {2001},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi45-1-2-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BrodaD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/BrodaD01,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas},
  editor       = {Pavel Brazdil and
                  Al{\'{\i}}pio Jorge},
  title        = {A Context-Free Grammar Representation for Normal Inhabitants of Types
                  in TA\({}_{\mbox{lambda}}\)},
  booktitle    = {Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent
                  Systems, Logic Programming and Constraint Solving, 10th Portuguese
                  Conference on Artificial Intelligence, {EPIA} 2001, Porto, Portugal,
                  December 17-20, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2258},
  pages        = {321--334},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45329-6\_32},
  doi          = {10.1007/3-540-45329-6\_32},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/epia/BrodaD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrodaD00,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas},
  title        = {On principal types of combinators},
  journal      = {Theor. Comput. Sci.},
  volume       = {247},
  number       = {1-2},
  pages        = {277--290},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0304-3975(99)00086-9},
  doi          = {10.1016/S0304-3975(99)00086-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BrodaD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/FerreiraD99,
  author       = {Michel Ferreira and
                  Lu{\'{\i}}s Damas},
  editor       = {Gopal Gupta},
  title        = {Multiple Specialization of {WAM} Code},
  booktitle    = {Practical Aspects of Declarative Languages, First International Workshop,
                  {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1551},
  pages        = {243--258},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-49201-1\_17},
  doi          = {10.1007/3-540-49201-1\_17},
  timestamp    = {Wed, 26 Oct 2022 11:14:38 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/FerreiraD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BrodaD99,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas},
  editor       = {Jean{-}Yves Girard},
  title        = {Counting a Type's Principal Inhabitants},
  booktitle    = {Typed Lambda Calculi and Applications, 4th International Conference,
                  TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1581},
  pages        = {69--82},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48959-2\_7},
  doi          = {10.1007/3-540-48959-2\_7},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/BrodaD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BrodaD97,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas},
  title        = {On Combinatory Complete Sets of Proper Combinators},
  journal      = {J. Funct. Program.},
  volume       = {7},
  number       = {6},
  pages        = {593--612},
  year         = {1997},
  url          = {https://doi.org/10.1017/s0956796897002888},
  doi          = {10.1017/S0956796897002888},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/BrodaD97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BrodaD97,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas},
  title        = {Compact Bracket Abstraction in Combinatory Logic},
  journal      = {J. Symb. Log.},
  volume       = {62},
  number       = {3},
  pages        = {729--740},
  year         = {1997},
  url          = {https://doi.org/10.2307/2275570},
  doi          = {10.2307/2275570},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BrodaD97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/DamasM95,
  author       = {Lu{\'{\i}}s Damas and
                  Nelma Moreira},
  editor       = {Carlos A. Pinto{-}Ferreira and
                  Nuno J. Mamede},
  title        = {Constraint Categorial Grammars},
  booktitle    = {Progress in Artificial Intelligence, 7th Portuguese Conference on
                  Artificial Intelligence, {EPIA} '95, Funchal, Madeira Island, Portugal,
                  October 3-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {990},
  pages        = {347--358},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60428-6\_29},
  doi          = {10.1007/3-540-60428-6\_29},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epia/DamasM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/BrodaD95,
  author       = {Sabine Broda and
                  Lu{\'{\i}}s Damas},
  editor       = {Carlos A. Pinto{-}Ferreira and
                  Nuno J. Mamede},
  title        = {A New Translation Algorithm from Lambda Calculus into Combinatory
                  Logic},
  booktitle    = {Progress in Artificial Intelligence, 7th Portuguese Conference on
                  Artificial Intelligence, {EPIA} '95, Funchal, Madeira Island, Portugal,
                  October 3-6, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {990},
  pages        = {359--370},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60428-6\_30},
  doi          = {10.1007/3-540-60428-6\_30},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epia/BrodaD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cmp-lg-9507001,
  author       = {Lu{\'{\i}}s Damas and
                  Nelma Moreira},
  title        = {Constraint Categorial Grammars},
  journal      = {CoRR},
  volume       = {abs/cmp-lg/9507001},
  year         = {1995},
  url          = {http://arxiv.org/abs/cmp-lg/9507001},
  eprinttype    = {arXiv},
  eprint       = {cmp-lg/9507001},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cmp-lg-9507001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/DamasMB93,
  author       = {Lu{\'{\i}}s Damas and
                  Nelma Moreira and
                  Sabine Broda},
  editor       = {Miguel Filgueiras and
                  Lu{\'{\i}}s Damas},
  title        = {Resolution of Constraints in Algebras of Rational Trees},
  booktitle    = {Progress in Artificial Intelligence, 6th Portuguese Conference on
                  Artificial Intelligence, {EPIA} '93, Porto, Portugal, October 6-8,
                  1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {727},
  pages        = {61--76},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57287-2\_38},
  doi          = {10.1007/3-540-57287-2\_38},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epia/DamasMB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epia/1993,
  editor       = {Miguel Filgueiras and
                  Lu{\'{\i}}s Damas},
  title        = {Progress in Artificial Intelligence, 6th Portuguese Conference on
                  Artificial Intelligence, {EPIA} '93, Porto, Portugal, October 6-8,
                  1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {727},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57287-2},
  doi          = {10.1007/3-540-57287-2},
  isbn         = {3-540-57287-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epia/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/DamasV92,
  author       = {Lu{\'{\i}}s Damas and
                  Giovanni B. Varile},
  title        = {On the Satisfiability of Complex Constraints},
  booktitle    = {14th International Conference on Computational Linguistics, {COLING}
                  1992, Nantes, France, August 23-28, 1992},
  pages        = {108--112},
  year         = {1992},
  url          = {https://aclanthology.org/C92-1020/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coling/DamasV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/DamasV91,
  author       = {Lu{\'{\i}}s Damas and
                  Giovanni B. Varile and
                  Nelma Moreira},
  editor       = {J{\"{u}}rgen Kunze and
                  Dorothee Reimann},
  title        = {The Formal and Processing Models of {CLG}},
  booktitle    = {{EACL} 1991, 5th Conference of the European Chapter of the Association
                  for Computational Linguistics, April 9-11, 1991, Congress Hall, Alexanderplatz,
                  Berlin, Germany},
  pages        = {173--178},
  publisher    = {The Association for Computer Linguistics},
  year         = {1991},
  url          = {https://aclanthology.org/E91-1030/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eacl/DamasV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/LealDM91,
  author       = {Jos{\'{e}} Paulo Leal and
                  Lu{\'{\i}}s Damas and
                  Nelma Moreira},
  editor       = {Mireille Ducass{\'{e}} and
                  G{\'{e}}rard Ferrand},
  title        = {An History Based Interface},
  booktitle    = {Proceedings of the {ICLP} 1991 Workshop on Logic Programming Environments,
                  Paris, June 1991. Technical Report, University of Orl{\'{e}}ans,
                  France, {LIFO} {N} 91-6},
  pages        = {10--16},
  publisher    = {University of Orl{\'{e}}ans, France},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/LealDM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eaia/1990,
  editor       = {Miguel Filgueiras and
                  Lu{\'{\i}}s Damas and
                  Nelma Moreira and
                  Ana Paula Tom{\'{a}}s},
  title        = {Natural Language Processing, {EAIA} '90, 2nd Advanced School in Artificial
                  Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {476},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-53678-7},
  doi          = {10.1007/3-540-53678-7},
  isbn         = {3-540-53678-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eaia/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/BalariVD90,
  author       = {Sergio Balari and
                  Giovanni B. Varile and
                  Lu{\'{\i}}s Damas and
                  Nelma Moreira},
  title        = {CLG(n): Constraint Logic Grammars},
  booktitle    = {13th International Conference on Computational Linguistics, {COLING}
                  1990, University of Helsinki, Finland, August 20-25, 1990},
  pages        = {7--12},
  year         = {1990},
  url          = {https://aclanthology.org/C90-3002/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coling/BalariVD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/DamasV89,
  author       = {Lu{\'{\i}}s Damas and
                  Giovanni B. Varile},
  editor       = {Jo{\~{a}}o P. Martins and
                  Ernesto M. Morgado},
  title        = {{CLG:} {A} Grammar Formalism Based on Constraint Reslution},
  booktitle    = {{EPIA} 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon,
                  Portugal, September 26-29, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {390},
  pages        = {175--186},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51665-4\_84},
  doi          = {10.1007/3-540-51665-4\_84},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/epia/DamasV89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Damas84,
  author       = {Lu{\'{\i}}s Damas},
  title        = {Type assignment in programming languages},
  school       = {University of Edinburgh, {UK}},
  year         = {1984},
  url          = {https://hdl.handle.net/1842/13555},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Damas84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DamasM82,
  author       = {Lu{\'{\i}}s Damas and
                  Robin Milner},
  editor       = {Richard A. DeMillo},
  title        = {Principal Type-Schemes for Functional Programs},
  booktitle    = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
                  of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages        = {207--212},
  publisher    = {{ACM} Press},
  year         = {1982},
  url          = {https://doi.org/10.1145/582153.582176},
  doi          = {10.1145/582153.582176},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/DamasM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics