@article(DBLP:journals/corr/AbramskyJM13,
 author       = {Samson Abramsky and Radha Jagadeesan and Pasquale Malacaria},
 year         = {2000},
 title        = {Full Abstraction for {PCF}},
 journal      = {Inf. Comput.},
 volume       = {163},
 number       = {2},
 pages        = {409--470},
 doi          = {10.1006/inco.2000.2930},
)
@article(abramsky1994domain,
 author       = {Samson Abramsky and Achim Jung},
 year         = {1994},
 title        = {Domain theory},
 journal      = {Handbook of logic in computer science},
 volume       = {3},
 pages        = {1--168},
)
@article(DBLP:journals/entcs/AbramskyM96,
 author       = {Samson Abramsky and Guy McCusker},
 year         = {1996},
 title        = {Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {3},
 pages        = {2--14},
 doi          = {10.1016/S1571-0661(05)80398-6},
)
@inproceedings(abramsky1999game,
 author       = {Samson Abramsky and Guy McCusker},
 year         = {1999},
 title        = {Game semantics},
 booktitle    = {Computational logic},
 organization = {Springer},
 pages        = {1--55},
 doi          = {10.1007/978-3-642-58622-4\_1},
)
@article(abramsky1997semantics,
 author       = {Samson Abramsky},
 year         = {1997},
 title        = {Semantics of interaction: an introduction to game semantics},
 booktitle    = {Semantics and Logics of Computation},
 pages        = {1--33},
 doi          = {10.1017/CBO9780511526619.002},
)
@inproceedings(DBLP:conf/acl/BaroniDK14,
 author       = {Marco Baroni and Georgiana Dinu and Germ{\'{a}}n Kruszewski},
 year         = {2014},
 title        = {Don't count, predict! {A} systematic comparison of context-counting vs. context-predicting semantic vectors},
 booktitle    = {Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics, {ACL} 2014, June 22-27, 2014, Baltimore, MD, USA, Volume 1: Long Papers},
 pages        = {238--247},
 url          = {http://anthology.aclweb.org/P/P14/P14-1023.pdf},
)
@article(Bengio1994,
 author       = {Y. Bengio and P. Simard and P. Frasconi},
 year         = {1994},
 title        = {Learning long-term dependencies with gradient descent is difficult},
 journal      = {IEEE Transactions on Neural Networks},
 volume       = {5},
 number       = {2},
 pages        = {157--166},
 doi          = {10.1109/72.279181},
)
@article(bengio2003neural,
 author       = {Yoshua Bengio and R{\'e}jean Ducharme and Pascal Vincent and Christian Jauvin},
 year         = {2003},
 title        = {A neural probabilistic language model},
 journal      = {Journal of machine learning research},
 volume       = {3},
 number       = {Feb},
 pages        = {1137--1155},
 url          = {http://www.jmlr.org/papers/v3/bengio03a.html},
)
@article(DBLP:journals/coling/BrownPPLM92,
 author       = {Peter F. Brown and Stephen Della Pietra and Vincent J. Della Pietra and Jennifer C. Lai and Robert L. Mercer},
 year         = {1992},
 title        = {An Estimate of an Upper Bound for the Entropy of English},
 journal      = {Computational Linguistics},
 volume       = {18},
 number       = {1},
 pages        = {31--40},
)
@article(Caliskan183,
 author       = {Aylin Caliskan and Joanna J. Bryson and Arvind Narayanan},
 year         = {2017},
 title        = {Semantics derived automatically from language corpora contain human-like biases},
 journal      = {Science},
 volume       = {356},
 number       = {6334},
 pages        = {183--186},
 doi          = {10.1126/science.aal4230},
)
@inproceedings(DBLP:conf/icfp/ClaessenH00,
 author       = {Koen Claessen and John Hughes},
 year         = {2000},
 title        = {QuickCheck: a lightweight tool for random testing of Haskell programs},
 booktitle    = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '00), Montreal, Canada, September 18-21, 2000.},
 pages        = {268--279},
 doi          = {10.1145/351240.351266},
)
@article(DeMulder2015,
 author       = {De Mulder, Wim and Steven Bethard and Marie-Francine Moens},
 year         = {2015},
 title        = {A Survey on the Application of Recurrent Neural Networks to Statistical Language Modeling},
 journal      = {Comput. Speech Lang.},
 volume       = {30},
 number       = {1},
 pages        = {61--98},
 doi          = {10.1016/j.csl.2014.09.005},
)
@inproceedings(fan2014tts,
 author       = {Yuchen Fan and Yao Qian and Feng-Long Xie and Frank K Soong},
 year         = {2014},
 title        = {TTS synthesis with bidirectional LSTM based recurrent neural networks.},
 booktitle    = {Fifteenth Annual Conference of the International Speech Communication Association},
 pages        = {1964--1968},
)
@article(DBLP:journals/jcss/FrancezHLR79,
 author       = {Nissim Francez and C. A. R. Hoare and Daniel J. Lehmann and Willem P. de Roever},
 year         = {1979},
 title        = {Semantics of Nondeterminism, Concurrency, and Communication},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {19},
 number       = {3},
 pages        = {290--308},
 doi          = {10.1016/0022-0000(79)90006-0},
)
@article(DBLP:journals/entcs/GabbayG12,
 author       = {Murdoch Gabbay and Dan R. Ghica},
 year         = {2012},
 title        = {Game Semantics in the Nominal Model},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {286},
 pages        = {173--189},
 doi          = {10.1016/j.entcs.2012.08.012},
)
@inproceedings(DBLP:conf/lics/Ghica09,
 author       = {Dan R. Ghica},
 year         = {2009},
 title        = {Applications of Game Semantics: From Program Analysis to Hardware Synthesis},
 booktitle    = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
 pages        = {17--26},
 doi          = {10.1109/LICS.2009.26},
)
@inproceedings(DBLP:conf/lics/GhicaB09,
 author       = {Dan R. Ghica and Adam Bakewell},
 year         = {2009},
 title        = {Clipping: {A} Semantics-Directed Syntactic Approximation},
 booktitle    = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
 pages        = {189--198},
 doi          = {10.1109/LICS.2009.25},
)
@article(DBLP:journals/tcs/GhicaM03,
 author       = {Dan R. Ghica and Guy McCusker},
 year         = {2003},
 title        = {The regular-language semantics of second-order idealized A${}_{\unhbox\voidb@x \hbox{LGOL}}$},
 journal      = {Theor. Comput. Sci.},
 volume       = {309},
 number       = {1-3},
 pages        = {469--502},
 doi          = {10.1016/S0304-3975(03)00315-3},
)
@inproceedings(DBLP:conf/tacas/GhicaM06,
 author       = {Dan R. Ghica and Andrzej S. Murawski},
 year         = {2006},
 title        = {Compositional Model Extraction for Higher-Order Concurrent Programs},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, {TACAS} 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings},
 pages        = {303--317},
 doi          = {10.1007/11691372\_20},
)
@article(DBLP:journals/apal/GhicaM08,
 author       = {Dan R. Ghica and Andrzej S. Murawski},
 year         = {2008},
 title        = {Angelic semantics of fine-grained concurrency},
 journal      = {Ann. Pure Appl. Logic},
 volume       = {151},
 number       = {2-3},
 pages        = {89--114},
 doi          = {10.1016/j.apal.2007.10.005},
)
@article(DBLP:journals/tcs/GhicaMO06,
 author       = {Dan R. Ghica and Andrzej S. Murawski and C.{-}H. Luke Ong},
 year         = {2006},
 title        = {Syntactic control of concurrency},
 journal      = {Theor. Comput. Sci.},
 volume       = {350},
 number       = {2-3},
 pages        = {234--251},
 doi          = {10.1016/j.tcs.2005.10.032},
)
@article(DBLP:journals/entcs/GhicaT12,
 author       = {Dan R. Ghica and Nikos Tzevelekos},
 year         = {2012},
 title        = {A System-Level Game Semantics},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {286},
 pages        = {191--211},
 doi          = {10.1016/j.entcs.2012.08.013},
)
@inproceedings(Graves2013,
 author       = {A. Graves and A. r. Mohamed and G. Hinton},
 year         = {2013},
 title        = {Speech recognition with deep recurrent neural networks},
 booktitle    = {2013 IEEE International Conference on Acoustics, Speech and Signal Processing},
 pages        = {6645--6649},
 doi          = {10.1109/ICASSP.2013.6638947},
)
@inproceedings(DBLP:conf/iwcs/GrefenstetteDZS13,
 author       = {Edward Grefenstette and Georgiana Dinu and Yao{-}Zhong Zhang and Mehrnoosh Sadrzadeh and Marco Baroni},
 year         = {2013},
 title        = {Multi-Step Regression Learning for Compositional Distributional Semantics},
 booktitle    = {Proceedings of the 10th International Conference on Computational Semantics, {IWCS} 2013, March 19-22, 2013, University of Potsdam, Potsdam, Germany},
 pages        = {131--142},
 url          = {https://arxiv.org/abs/1301.6939},
)
@article(DBLP:journals/csur/HarmanMZ12,
 author       = {Mark Harman and S. Afshin Mansouri and Yuanyuan Zhang},
 year         = {2012},
 title        = {Search-based software engineering: Trends, techniques and applications},
 journal      = {{ACM} Comput. Surv.},
 volume       = {45},
 number       = {1},
 pages        = {11:1--11:61},
 doi          = {10.1145/2379776.2379787},
)
@inproceedings(DBLP:conf/lics/HarmerM99,
 author       = {Russell Harmer and Guy McCusker},
 year         = {1999},
 title        = {A Fully Abstract Game Semantics for Finite Nondeterminism},
 booktitle    = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999},
 pages        = {422--430},
 doi          = {10.1109/LICS.1999.782637},
)
@article(DBLP:journals/neco/HochreiterS97,
 author       = {Sepp Hochreiter and J{\"{u}}rgen Schmidhuber},
 year         = {1997},
 title        = {Long Short-Term Memory},
 journal      = {Neural Computation},
 volume       = {9},
 number       = {8},
 pages        = {1735--1780},
 doi          = {10.1162/neco.1997.9.8.1735},
)
@article(DBLP:journals/iandc/HylandO00,
 author       = {J. M. E. Hyland and C.{-}H. Luke Ong},
 year         = {2000},
 title        = {On Full Abstraction for {PCF:} I, II, and {III}},
 journal      = {Inf. Comput.},
 volume       = {163},
 number       = {2},
 pages        = {285--408},
 doi          = {10.1006/inco.2000.2917},
)
@inproceedings(joulin2015inferring,
 author       = {Armand Joulin and Tomas Mikolov},
 year         = {2015},
 title        = {Inferring algorithmic patterns with stack-augmented recurrent nets},
 booktitle    = {Advances in neural information processing systems},
 pages        = {190--198},
)
@article(jozefowicz2016exploring,
 author       = {Rafal Jozefowicz and Oriol Vinyals and Mike Schuster and Noam Shazeer and Yonghui Wu},
 year         = {2016},
 title        = {Exploring the limits of language modeling},
 url          = {https://arxiv.org/abs/1602.02410},
)
@book(landauer2006latent,
 author       = {Thomas K Landauer},
 year         = {2006},
 title        = {Latent semantic analysis},
 publisher    = {Wiley Online Library},
 doi          = {10.1002/0470018860.s00561},
)
@article(lipton2015critical,
 author       = {Zachary C Lipton and John Berkowitz and Charles Elkan},
 year         = {2015},
 title        = {A critical review of recurrent neural networks for sequence learning},
 url          = {https://arxiv.org/abs/1506.00019},
)
@article(DBLP:journals/sigpro/MarkouS03,
 author       = {Markos Markou and Sameer Singh},
 year         = {2003},
 title        = {Novelty detection: a review - part 1: statistical approaches},
 journal      = {Signal Processing},
 volume       = {83},
 number       = {12},
 pages        = {2481--2497},
 doi          = {10.1016/j.sigpro.2003.07.018},
)
@article(DBLP:journals/sigpro/MarkouS03a,
 author       = {Markos Markou and Sameer Singh},
 year         = {2003},
 title        = {Novelty detection: a review - part 2: : neural network based approaches},
 journal      = {Signal Processing},
 volume       = {83},
 number       = {12},
 pages        = {2499--2521},
 doi          = {10.1016/j.sigpro.2003.07.019},
)
@inproceedings(Mikolov2012,
 author       = {T. Mikolov and G. Zweig},
 year         = {2012},
 title        = {Context dependent recurrent neural network language model},
 booktitle    = {2012 IEEE Spoken Language Technology Workshop (SLT)},
 pages        = {234--239},
 doi          = {10.1109/SLT.2012.6424228},
)
@article(DBLP:journals/tocl/Murawski05,
 author       = {Andrzej S. Murawski},
 year         = {2005},
 title        = {About the undecidability of program equivalence in finitary languages with state},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {6},
 number       = {4},
 pages        = {701--726},
 doi          = {10.1145/1094622.1094626},
)
@article(DBLP:journals/tcs/MurawskiW08,
 author       = {Andrzej S. Murawski and Igor Walukiewicz},
 year         = {2008},
 title        = {Third-order Idealized Algol with iteration is decidable},
 journal      = {Theor. Comput. Sci.},
 volume       = {390},
 number       = {2-3},
 pages        = {214--229},
 doi          = {10.1016/j.tcs.2007.09.022},
)
@book(o2013algol,
 author       = {Peter O'Hearn and Robert Tennent},
 year         = {2013},
 title        = {ALGOL-like Languages},
 publisher    = {Springer Science \& Business Media},
)
@(olah17,
 author       = {Christopher Olah},
 title        = {Understanding LSTM Networks},
 url          = {http://colah.github.io/posts/2015-08-Understanding-LSTMs/},
)
@inproceedings(DBLP:conf/lics/Ong02,
 author       = {C.{-}H. Luke Ong},
 year         = {2002},
 title        = {Observational Equivalence of 3rd-Order Idealized Algol is Decidable},
 booktitle    = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings},
 pages        = {245--256},
 doi          = {10.1109/LICS.2002.1029833},
)
@inproceedings(DBLP:conf/ac/Pitts00,
 author       = {Andrew M. Pitts},
 year         = {2000},
 title        = {Operational Semantics and Program Equivalence},
 booktitle    = {Applied Semantics, International Summer School, {APPSEM} 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures},
 pages        = {378--412},
 doi          = {10.1007/3-540-45699-6\_8},
)
@book(pitts2013nominal,
 author       = {Andrew M Pitts},
 year         = {2013},
 title        = {Nominal sets: Names and symmetry in computer science},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781139084673},
)
@article(DBLP:journals/tcs/Plotkin75,
 author       = {Gordon D. Plotkin},
 year         = {1975},
 title        = {Call-by-Name, Call-by-Value and the lambda-Calculus},
 journal      = {Theor. Comput. Sci.},
 volume       = {1},
 number       = {2},
 pages        = {125--159},
 doi          = {10.1016/0304-3975(75)90017-1},
)
@article(DBLP:journals/tcs/Plotkin77,
 author       = {Gordon D. Plotkin},
 year         = {1977},
 title        = {{LCF} Considered as a Programming Language},
 journal      = {Theor. Comput. Sci.},
 volume       = {5},
 number       = {3},
 pages        = {223--255},
 doi          = {10.1016/0304-3975(77)90044-5},
)
@inbook(Reynolds1997,
 author       = {John C. Reynolds},
 year         = {1997},
 title        = {The Essence of Algol},
 pages        = {67--88},
 publisher    = {Birkh{\"a}user Boston},
 address      = {Boston, MA},
 doi          = {10.1007/978-1-4612-4118-8\_4},
)
@article(SCHAFER2007,
 author       = {Anton Maximilian Sch{\"a}fer and Hans-Georg Zimmermann},
 year         = {2007},
 title        = {Recurrent neural nets are universal approximators},
 journal      = {International Journal of Neural Systems},
 volume       = {17},
 number       = {04},
 pages        = {253--263},
 doi          = {10.1142/S0129065707001111},
)
@article(siegelmann1991turing,
 author       = {Hava T Siegelmann and Eduardo D Sontag},
 year         = {1991},
 title        = {Turing computability with neural nets},
 journal      = {Applied Mathematics Letters},
 volume       = {4},
 number       = {6},
 pages        = {77--80},
 doi          = {10.1016/0893-9659(91)90080-F},
)
@article(Stratonovich1960,
 author       = {R. L. Stratonovich},
 year         = {1960},
 title        = {Conditional Markov Processes},
 journal      = {Theory of Probability \& Its Applications},
 volume       = {5},
 number       = {2},
 pages        = {156--178},
 doi          = {10.1137/1105015},
)
@inproceedings(sutskever2014sequence,
 author       = {Ilya Sutskever and Oriol Vinyals and Quoc V Le},
 year         = {2014},
 title        = {Sequence to sequence learning with neural networks},
 booktitle    = {Advances in neural information processing systems},
 pages        = {3104--3112},
)
@article(tennent1976denotational,
 author       = {Robert D. Tennent},
 year         = {1976},
 title        = {The denotational semantics of programming languages},
 journal      = {Communications of the ACM},
 volume       = {19},
 number       = {8},
 pages        = {437--453},
 doi          = {10.1145/360303.360308},
)
@article(Viterbi1967,
 author       = {A. Viterbi},
 year         = {1967},
 title        = {Error bounds for convolutional codes and an asymptotically optimum decoding algorithm},
 journal      = {IEEE Transactions on Information Theory},
 volume       = {13},
 number       = {2},
 pages        = {260--269},
 doi          = {10.1109/TIT.1967.1054010},
)
@article(wu2016google,
 author       = {Yonghui Wu and Mike Schuster and Zhifeng Chen and Quoc V Le and Mohammad Norouzi and Wolfgang Macherey and Maxim Krikun and Yuan Cao and Qin Gao and Klaus Macherey},
 year         = {2016},
 title        = {Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation},
 journal      = {arXiv preprint arXiv:1609.08144},
 url          = {https://arxiv.org/abs/1609.08144},
)
@inproceedings(xu2015show,
 author       = {Kelvin Xu and Jimmy Ba and Ryan Kiros and Kyunghyun Cho and Aaron C Courville and Ruslan Salakhutdinov and Richard S Zemel and Yoshua Bengio},
 year         = {2015},
 title        = {Show, Attend and Tell: Neural Image Caption Generation with Visual Attention.},
 booktitle    = {ICML},
 volume       = {14},
 pages        = {77--81},
 url          = {https://arxiv.org/abs/1502.03044},
)