Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 45 Treffer
- type theory 29 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 28 Treffer
- proof assistants 26 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 22 Treffer
-
45 weitere Werte:
- univalence 17 Treffer
- computer science 16 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 13 Treffer
- impredicativity 12 Treffer
- computer 11 Treffer
- [math.math-ct]mathematics [math]/category theory [math.ct] 10 Treffer
- 01 natural sciences 10 Treffer
- 0102 computer and information sciences 10 Treffer
- 010201 computation theory & mathematics 10 Treffer
- 02 engineering and technology 10 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 10 Treffer
- 020207 software engineering 10 Treffer
- computer.software_genre 9 Treffer
- polymorphism 9 Treffer
- realizability 9 Treffer
- software 9 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 9 Treffer
- calculus of inductive constructions 8 Treffer
- lambda-calcul 8 Treffer
- lambda-calculus 8 Treffer
- programming language 8 Treffer
- theorie des types 8 Treffer
- exceptions 7 Treffer
- homotopy type theory 7 Treffer
- type structures 7 Treffer
- universes 7 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 6 Treffer
- assistants de preuve 6 Treffer
- monads 6 Treffer
- proof assistant 6 Treffer
- realisabilite 6 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 5 Treffer
- calculus 5 Treffer
- correctness 5 Treffer
- efects 5 Treffer
- functional constructs 5 Treffer
- theory of computation 5 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 4 Treffer
- calculus of constructions 4 Treffer
- ccc 4 Treffer
- computer science::logic in computer science 4 Treffer
- computer.programming_language 4 Treffer
- invariants 4 Treffer
- linear programming 4 Treffer
- logical relation 4 Treffer
Verlag
- hal ccsd 44 Treffer
- acm 13 Treffer
- association for computing machinery 8 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 5 Treffer
- springer berlin heidelberg 4 Treffer
-
9 weitere Werte:
- association for computing machinery (acm) 3 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 2 Treffer
- springer 2 Treffer
- arxiv 1 Treffer
- assoc computing machinery 1 Treffer
- lipics - leibniz international proceedings in informatics. computer science logic (csl'12) - 26th international workshop/21st annual conference of the eacsl 1 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 1 Treffer
- springer international publishing 1 Treffer
- springer nature switzerland 1 Treffer
Publikation
- journal of the acm 5 Treffer
- proceedings of the acm on programming languages 4 Treffer
- issn: 0004-5411 3 Treffer
- acm sigplan notices 2 Treffer
- leibniz international proceedings in informatics, lipics 2 Treffer
-
6 weitere Werte:
- certified programs and proofs - third international conference, cpp 2013, proceedings 1 Treffer
- certified programs and proofs : third international conference, cpp 2013, melbourne, vic, australia, december 11-13, 2013, proceedings 1 Treffer
- lecture notes in computer science 1 Treffer
- programming languages and systems 1 Treffer
- programming languages and systems : 33rd european symposium on programming, esop 2024, held as part of the european joint conferences on theory and practice of software, etaps 2024, luxembourg city, luxembourg, april 6-11, 2024, proceedings, part i 1 Treffer
- theses.fr 1 Treffer
Sprache
Geographischer Bezug
79 Treffer
-
In: https://hal.science/hal-02062288 ; 2019, 2019Online reportZugriff:
-
In: Journal of the ACM, Jg. 68 (2021), Heft 1, S. 1-44Online academicJournalZugriff:
-
2018Online Elektronische RessourceZugriff:
-
2013Online E-BookZugriff:
-
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://inria.hal.science/hal-01559073 ; Proceedings of the ACM on Programming Languages, 2018, ICFP'18, 2018Online academicJournalZugriff:
-
In: https://hal.science/hal-01558252 ; 2017, 2017Online reportZugriff:
-
2012KonferenzZugriff:
-
2017Online unknownZugriff:
-
2024Online E-BookZugriff:
-
2012HochschulschriftZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: https://theses.hal.science/tel-00770669 ; Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. Français. ⟨NNT : 2012ENSL0764⟩, 2012Online HochschulschriftZugriff:
-
In: http://hal-ens-lyon.archives-ouvertes.fr/docs/00/73/09/13/PDF/paramath.pdfOnline academicJournalZugriff:
-
In: http://www.lix.polytechnique.fr/~keller/Documents-recherche/Publications/csl12.pdfOnline academicJournalZugriff: