◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

A. Assaf

6 papers hereh-index 11314 citations33 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • first author5

Across the 6 of 6 papers where every author was matched, so the position is known.

fields
  • cs.LO6

identity via Semantic Scholar / OpenAlex

activity
20102023
most citedCall-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus

23 citations · 49 across the 6 of their papers we have counts for

collaborators
Showing 2012Show all

1 paper · 1 filter

cs.LO2012★ 4 cited

Completeness of algebraic CPS simulations

Ali Assaf, Simon Perdrix

The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independent…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.