Search Results

Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines

by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Shells of the bivalve Astarte moerchi give new evidence of a strong pelagic-benthic coupling shift occurring since the late 1970s in the North Water polynya

by Olivier, Frédéric, Gaillard, Blandine, Thébault, Julien, Méziane, Tarik, Tremblay, Réjean, Dumont, Dany, Bélanger, Simon, Gosselin, Michel, Jolivet, Aurélie, Chauvaud, Laurent, Martel, Andre L., Rysgaard, Søren, Olivier, Anne-Hélène, Pettré, Julien, Mars, Jerome, Gerber, Silvain, Archambault, Philippe
Published in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (2020)