Search Results - Chiarabini, Luca

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration

    A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration by Chiarabini, Luca, Danvy, Olivier

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    From Internet of Things Mashups to Model-Based Development

    From Internet of Things Mashups to Model-Based Development by Prehofer, Christian, Chiarabini, Luca

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: