Open AccessSeparating Functional Computation from Relations
Author(s) -
Ulysse Gérard,
Dale Miller
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - rewriting , mathematical proof , computer science , term (time) , operator (biology) , algebra over a field , higher order logic , theoretical computer science , computation , encode , programming language , mathematics , description logic , pure mathematics , biochemistry , chemistry , physics , geometry , repressor , quantum mechanics , transcription factor , gene