Skip to content

Research at St Andrews

The EmBounded project (project paper).  Proc 6th Symposium on Trends in Functional Programming (TFP 2005), Trends in Functional Programming,

Research output: Contribution to conferencePaper

Standard

The EmBounded project (project paper).  Proc 6th Symposium on Trends in Functional Programming (TFP 2005), Trends in Functional Programming, / Hammond, Kevin; Dyckhoff, Roy; Ferdinand, Christian; Heckmann, Reinhold; Hofmann, Martin; Jost, Steffen; Loidl, Hans-Wolfgang; Michaelson, Greg; Serot, Jocelyn; Wallace, Andy.

2005.

Research output: Contribution to conferencePaper

Harvard

Hammond, K, Dyckhoff, R, Ferdinand, C, Heckmann, R, Hofmann, M, Jost, S, Loidl, H-W, Michaelson, G, Serot, J & Wallace, A 2005, 'The EmBounded project (project paper).  Proc 6th Symposium on Trends in Functional Programming (TFP 2005), Trends in Functional Programming,'.

APA

Hammond, K., Dyckhoff, R., Ferdinand, C., Heckmann, R., Hofmann, M., Jost, S., ... Wallace, A. (2005). The EmBounded project (project paper).  Proc 6th Symposium on Trends in Functional Programming (TFP 2005), Trends in Functional Programming,.

Vancouver

Hammond K, Dyckhoff R, Ferdinand C, Heckmann R, Hofmann M, Jost S et al. The EmBounded project (project paper).  Proc 6th Symposium on Trends in Functional Programming (TFP 2005), Trends in Functional Programming,. 2005.

Author

Hammond, Kevin ; Dyckhoff, Roy ; Ferdinand, Christian ; Heckmann, Reinhold ; Hofmann, Martin ; Jost, Steffen ; Loidl, Hans-Wolfgang ; Michaelson, Greg ; Serot, Jocelyn ; Wallace, Andy. / The EmBounded project (project paper).  Proc 6th Symposium on Trends in Functional Programming (TFP 2005), Trends in Functional Programming,.

Bibtex - Download

@conference{df7597b5294b450e9a01f50dd3fed211,
title = "The EmBounded project (project paper).  Proc 6th Symposium on Trends in Functional Programming (TFP 2005), Trends in Functional Programming,",
author = "Kevin Hammond and Roy Dyckhoff and Christian Ferdinand and Reinhold Heckmann and Martin Hofmann and Steffen Jost and Hans-Wolfgang Loidl and Greg Michaelson and Jocelyn Serot and Andy Wallace",
note = "Tallinn, Estonia, Intellect",
year = "2005",
month = "9",
language = "English",

}

RIS (suitable for import to EndNote) - Download

TY - CONF

T1 - The EmBounded project (project paper).  Proc 6th Symposium on Trends in Functional Programming (TFP 2005), Trends in Functional Programming,

AU - Hammond, Kevin

AU - Dyckhoff, Roy

AU - Ferdinand, Christian

AU - Heckmann, Reinhold

AU - Hofmann, Martin

AU - Jost, Steffen

AU - Loidl, Hans-Wolfgang

AU - Michaelson, Greg

AU - Serot, Jocelyn

AU - Wallace, Andy

N1 - Tallinn, Estonia, Intellect

PY - 2005/9

Y1 - 2005/9

M3 - Paper

ER -

Related by author

  1. Analyticity, balance and non-admissibility of Cut in Stoic Logic

    Bobzien, S. & Dyckhoff, R., Apr 2019, In : Studia Logica. 107, 2, p. 375–397 23 p.

    Research output: Contribution to journalArticle

  2. Indefinite proof and inversions of syllogisms

    Dyckhoff, R., 2019, In : Bulletin of Symbolic Logic. 25, 2, p. 196-207 12 p.

    Research output: Contribution to journalArticle

  3. Contraction-free sequent calculi in intuitionistic logic: a correction

    Dyckhoff, R., Dec 2018, In : Journal of Symbolic Logic. 83, 4, p. 1680-1682 3 p.

    Research output: Contribution to journalArticle

  4. Intuitionistic decision procedures since Gentzen

    Dyckhoff, R., 5 May 2016, Advances in Proof Theory. Kahle, R., Strahm, T. & Studer, T. (eds.). Birkhäuser Basel, p. 245-267 (Progress in Computer Science and Applied Logic; vol. 28).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

ID: 371557