◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

A. Assaf

1 paper hereh-index 11314 citations33 works total

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

author position
  • first author1

Across the 1 of 1 paper where every author was matched, so the position is known.

fields
  • cs.LO1

identity via Semantic Scholar / OpenAlex

most citedCompleteness of algebraic CPS simulations

4 citations · 4 across the 1 of their papers we have counts for

collaborators

1 paper

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.