E-LIB Suche - Ergebnisse für: Capriotti, Paolo

1

Two-level type theory and applications - ERRATUM:

Annenkov, Danil ; Capriotti, Paolo ; Kraus, Nicolai.
Mathematical Structures in Computer Science. 34 (2023) 1 - p. 80-80 , 2023

Link: https://doi.org/10.1017/..

2

Two-level type theory and applications:

Annenkov, Danil ; Capriotti, Paolo ; Kraus, Nicolai.
Mathematical Structures in Computer Science. , 2023

Link: https://doi.org/10.1017/..

3

Intronic gRNAs for the Construction of Minimal Gene Drive S..:

Nash, Alexander ; Capriotti, Paolo ; Hoermann, Astrid..
Frontiers in Bioengineering and Biotechnology. 10 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

4

Higher lenses:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Capriotti, Paolo ; Danielsson, Nils Anders ; Vezzosi, Andrea - p. 1-13 , 2021

Link: https://dl.acm.org/doi/1..

5

Assessment of Plasmodium falciparum Infection and Fitness o..:

Tapanelli, Sofia ; Inghilterra, Maria Grazia ; Cai, Julia...
Frontiers in Tropical Diseases. 2 (2021) - p. , 2021

Link: https://doi.org/10.3389/..

6

Converting endogenous genes of the malaria mosquito into si..:

Hoermann, Astrid ; Tapanelli, Sofia ; Capriotti, Paolo...
eLife. 10 (2021) - p. , 2021

Link: https://doi.org/10.7554/..

7

An intestinal zinc sensor regulates food intake and develop..:

Redhai, Siamak ; Pilgrim, Clare ; Gaspar, Pedro...
Nature. 580 (2020) 7802 - p. 263-268 , 2020

Link: https://doi.org/10.1038/..

8

Rationally-engineered reproductive barriers using CRISPR & ..:

Waters, Andrew J. ; Capriotti, Paolo ; Gaboriau, David C. A...
Scientific Reports. 8 (2018) 1 - p. , 2018

Link: https://doi.org/10.1038/..

9

Quotient Inductive-Inductive Types:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Altenkirch, Thorsten ; Capriotti, Paolo ; Dijkstra, Gabe.. - p. 293-310 , 2018

Link: https://doi.org/10.1007/..

10

Univalent higher categories via complete Semi-Segal types:

Capriotti, Paolo ; Kraus, Nicolai
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://dl.acm.org/doi/1..

11

Univalent higher categories via complete Semi-Segal types:

Capriotti, Paolo ; Kraus, Nicolai
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://doi.org/10.1145/..

12

Two-level type theory and applications:

Annenkov, Danil ; Capriotti, Paolo ; Kraus, Nicolai.
https://nottingham-repository.worktribe.com/output/21366793. , 2023

Link: https://doi.org/10.1017/..

13

Intronic gRNAs for the Construction of Minimal Gene Drive S..:

Nash, Alexander ; Capriotti, Paolo ; Hoermann, Astrid..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9133698/. , 2022

Link: http://www.ncbi.nlm.nih...

14

An intestinal zinc sensor regulates food intake and develop..:

Redhai, Siamak ; Pilgrim, Clare ; Gaspar, Pedro...
info:eu-repo/semantics/altIdentifier/doi/10.1038/s41586-020-2111-5. , 2020

Link: https://hal.science/hal-..

15

An intestinal zinc sensor regulates food intake and develop..:

Redhai, Siamak ; Pilgrim, Clare ; Gaspar, Pedro...
info:eu-repo/semantics/altIdentifier/doi/10.1038/s41586-020-2111-5. , 2020

Link: https://hal.science/hal-..