Back to Results
First PageMeta Content
Functions and mappings / Computability theory / Primitive recursive function / Recursion / Theory of computation / Interpretation / Function / Substitution / Μ operator / Mathematics / Mathematical logic / Logic


Structural Recursion over Contextual Objects (Extended Abstract) Brigitte Pientka and Sherry Shanshan Ruan Andreas Abel
Add to Reading List

Document Date: 2014-01-20 17:12:51

Open Document

File Size: 348,51 KB

Share Result on Facebook

City

Pittsburg / Pittsburgh / Rome / /

Company

Deductive Systems / IEEE CS Press / /

Country

Italy / /

/

Facility

Carnegie-Mellon University / Carnegie Mellon University / Computer Science McGill University / /

IndustryTerm

coverage checking algorithm / main technical tool / nominal systems / sound coverage algorithm / formal systems / /

Organization

School of Computer Science / Department of Computer Science / Department of Computer Science and Engineering Chalmers / eta / Carnegie Mellon University / Department of Mathematical Sciences / Sherry Shanshan Ruan Andreas Abel School of Computer Science McGill University Montreal / /

Person

Amy P. Felty / Joshua Dunfield / Murdoch J. Gabbay / Andreas Abel / Pierre Leleu / Gopalan Nadathur / Iliano Cervesato / Frank Pfenning / Gordon Plotkin / Despeyroux Leleu / Meta Objects / Andrew M. Pitts / Andrew Cave / Meta Contexts / Alberto Momigliano / Olivier Savary Belanger / Brigitte Pientka / Meta Variables / David Walker / Meta Types / Martin Hofmann / Robert Harper / Andrew Gacek / Stefan Monnier / Ai / Carsten Sch¨urmann / Aleksandar Nanevski / David Baelde / Kevin Watkins / Furio Honsell / Alan J. Martin / Roberto Virga / Andrew Pitts / Sherry Shanshan Ruan / Dale Miller / Sherry Shanshan Ruan Andreas / /

Position

head / clause head / /

ProgrammingLanguage

R / /

ProvinceOrState

Pennsylvania / /

Technology

functional programming / coverage checking algorithm / http / sound coverage algorithm / /

URL

www.tcs.ifi.lmu.de/∼abel/wfrec-dep-long.pdf / /

SocialTag