• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 5 of 5 1 HOπ in Coq Ambal, Guillaume; Lenglet, Sergueï; Schmitt, Alan In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-02536463 ; Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩ (2020) BASE Show details 2 Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines Biernacka, Małgorzata; Biernacki, Dariusz; Lenglet, Sergueï... In: LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01479035 ; LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩ (2017) BASE Show details 3 Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu... In: POPL '14, 41th ACM Symposium on Principles of Programming Languages ; https://hal.archives-ouvertes.fr/hal-00907166 ; POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩ (2014) BASE Show details 4 A practical type system for generalized recursion Hirschowitz, Tom; Lenglet, Serguei In: https://hal-lara.archives-ouvertes.fr/hal-02102506 ; [Research Report] Laboratoire de l'informatique du parallélisme. 2005, 2+50p (2005) BASE Show details 5 A practical type system for generalized recursion Hirschowitz, Tom; Lenglet, Serguei; Laboratoire de l'informatique du parallélisme. - 2005 BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 5 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0