Search Results - Angiuli, Carlo

  • Showing 1 - 20 results of 20
Refine Results
  1. 1
    A Cubical Language for Bishop Sets

    A Cubical Language for Bishop Sets by Sterling, Jonathan, Angiuli, Carlo, Gratzer, Daniel

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    The RedPRL Proof Assistant (Invited Paper)

    The RedPRL Proof Assistant (Invited Paper) by Angiuli, Carlo, Cavallo, Evan, Hou (Favonia), Kuen-Bang, Harper, Robert, Sterling, Jonathan

    Get full text
    Items that this one cites
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Meaning explanations at higher dimension

    Meaning explanations at higher dimension by Angiuli, Carlo, Harper, Robert

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Internalizing representation independence with univalence

    Internalizing representation independence with univalence by Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Syntax and models of Cartesian cubical type theory

    Syntax and models of Cartesian cubical type theory by Angiuli, Carlo, Brunerie, Guillaume, Coquand, Thierry, Harper, Robert, Hou (Favonia), Kuen-Bang, Licata, Daniel R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    An Order-Theoretic Analysis of Universe Polymorphism

    An Order-Theoretic Analysis of Universe Polymorphism by Hou (Favonia), Kuen-Bang, Angiuli, Carlo, Mullanix, Reed

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Homotopical patch theory

    Homotopical patch theory by ANGIULI, CARLO, MOREHOUSE, EDWARD, LICATA, DANIEL R., HARPER, ROBERT

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Normalization for Cubical Type Theory

    Normalization for Cubical Type Theory by Sterling, Jonathan, Angiuli, Carlo

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    A Cubical Language for Bishop Sets

    A Cubical Language for Bishop Sets by Sterling, Jonathan, Angiuli, Carlo, Gratzer, Daniel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Cubical Syntax for Reflection-Free Extensional Equality

    Cubical Syntax for Reflection-Free Extensional Equality by Sterling, Jonathan, Angiuli, Carlo, Gratzer, Daniel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Controlling unfolding in type theory

    Controlling unfolding in type theory by Gratzer, Daniel, Sterling, Jonathan, Angiuli, Carlo, Coquand, Thierry, Birkedal, Lars

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Computational Higher Type Theory II: Dependent Cubical Realizability

    Computational Higher Type Theory II: Dependent Cubical Realizability by Angiuli, Carlo, Harper, Robert

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Internalizing Representation Independence with Univalence

    Internalizing Representation Independence with Univalence by Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    The RedPRL Proof Assistant (Invited Paper)

    The RedPRL Proof Assistant (Invited Paper) by Angiuli, Carlo, Cavallo, Evan, Kuen-Bang Hou, Harper, Robert, Sterling, Jonathan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Computational Higher Type Theory III: Univalent Universes and Exact Equality

    Computational Higher Type Theory III: Univalent Universes and Exact Equality by Angiuli, Carlo, Kuen-Bang Hou, Harper, Robert

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Computational Higher Type Theory I: Abstract Cubical Realizability

    Computational Higher Type Theory I: Abstract Cubical Realizability by Angiuli, Carlo, Harper, Robert, Wilson, Todd

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Qualitative and quantitative analysis of wood samples by Fourier transform infrared spectroscopy and multivariate analysis

    Qualitative and quantitative analysis of wood samples by Fourier transform infrared spectroscopy and multivariate analysis by Chen, Huilun, Ferrari, Carlo, Angiuli, Marco, Yao, Jun, Raspi, Costantino, Bramanti, Emilia

    Published in Carbohydrate polymers
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Tocopherol speciation as first screening for the assessment of extra virgin olive oil quality by reversed-phase high-performance liquid chromatography/fluorescence detector

    Tocopherol speciation as first screening for the assessment of extra virgin olive oil quality by reversed-phase high-performance liquid chromatography/fluorescence detector by Chen, Huilun, Angiuli, Marco, Ferrari, Carlo, Tombari, Elpidio, Salvetti, Giuseppe, Bramanti, Emilia

    Published in Food chemistry
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Calorimetry for Fast Authentication of Edible Oils

    Calorimetry for Fast Authentication of Edible Oils by Angiuli, Marco, Bussolino, Gian Carlo, Ferrari, Carlo, Matteoli, Enrico, Righetti, Maria Cristina, Salvetti, Giuseppe, Tombari, Elpidio

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Calorimetry of edible oils: Isothermal freezing curve for assessing extra-virgin olive oil storage history

    Calorimetry of edible oils: Isothermal freezing curve for assessing extra-virgin olive oil storage history by Angiuli, Marco, Ferrari, Carlo, Righetti, Maria Cristina, Tombari, Elpidio, Salvetti, Giuseppe

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: