Jump to main content

yr 〜
yr

Search results 48

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)

Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-1249>
National Diet Library
  • Subject Heading...)--Congresses. Lambda calculus--Congresses. C......omputer logic. Lambda calculus. Rewriting systems (Computer ...

Typed lambda calculi and applications : 9th international conference, TLCA 2009 : Brasilia, Brazil, July 1-3, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jul 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5608)

Typed lambda calculi and applications : 9th international conference, TLCA 2009 : Brasilia, Brazil, July 1-3, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jul 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5608)
Paper図書
Springerc2009.<M17-10-382>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses.

Typed lambda calculi and applications : 11th international conference, TLCA 2013 : Eindhoven, the Netherlands, June 26-28, 2013 : proceedings : 7th international conference on rewriting, deduction, and programming (RDP 2013) : Jun 2013, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7941. Advanced Research in Computing and Software Science)

Typed lambda calculi and applications : 11th international conference, TLCA 2013 : Eindhoven, the Netherlands, June 26-28, 2013 : proceedings : 7th international conference on rewriting, deduction, and programming (RDP 2013) : Jun 2013, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7941. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-3388>
National Diet Library
  • Subject HeadingLambda calculus--Congresses. Computer science...

計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について

計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について
Digital博士論文障害者向け資料あり
Marlou Mathilde, Gijzen2023-03
National Diet Library
  • Subject HeadingLambda calculus combinatory algebra reflexivi...

Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia. (Lecture Notes in Computer Science ; 6690. Advanced Research in Computing and Software Science)

Typed lambda calculi and applications : 10th international conference, TLCA 2011 : Novi Sad, Serbia, June 1-3, 2011 : proceedings. : 6th international conference on rewriting, deduction, and programming (RDP 2011) : Jun 2011, Novi Sad, Serbia. (Lecture Notes in Computer Science ; 6690. Advanced Research in Computing and Software Science)
Paper図書
Springerc2011.<M17-11-3213>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses. Nonclassical m...

Typed lambda calculi and applications : 8th international conference, TLCA 2007 : Paris, France, June 26-28, 2007 : proceedings. : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4583)

Typed lambda calculi and applications : 8th international conference, TLCA 2007 : Paris, France, June 26-28, 2007 : proceedings. : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4583)
Paper図書
Springerc2007.<M17-07-2837>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses.

Typed lambda calculi and applications : 6th international conference, TLCA 2003 : Valencia, Spain, June 10-12, 2003 : proceedings. : Jun 2003, Valencia, Spain. (Lecture Notes in Computer Science ; 2701)

Typed lambda calculi and applications : 6th international conference, TLCA 2003 : Valencia, Spain, June 10-12, 2003 : proceedings. : Jun 2003, Valencia, Spain. (Lecture Notes in Computer Science ; 2701)
Paper図書
Springerc2003.<M17-04-591>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses.

Typed lambda calculi and applications : 5th international conference, TLCA 2001 : Krakow, Poland, May 2-5, 2001 : proceedings. : May 2001, Krakow, Poland. (Lecture Notes in Computer Science ; 2044)

Typed lambda calculi and applications : 5th international conference, TLCA 2001 : Krakow, Poland, May 2-5, 2001 : proceedings. : May 2001, Krakow, Poland. (Lecture Notes in Computer Science ; 2044)
Paper図書
Springer2001.<M17-03-4694>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses.

Lambda calculus with types

Lambda calculus with types
Paper図書
Henk Barendregt, Wil Dekkers, Richard StatmanAssociation for Symbolic Logic2013
Other Libraries in Japan
  • Subject HeadingLambda calculus
  • Subject Heading (ID)Lambda calculus

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.). (Lecture notes in computer science)

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9583>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses.

計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について

計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について
Digital博士論文
Marlou Mathilde, Gijzen2023-03
Available onlineOther Libraries in Japan
  • Subject HeadingLambda calculus combinatory algebra reflexivi...

The lambda calculus, its syntax and semantics

The lambda calculus, its syntax and semantics
Paper図書
Henk P. BarendregtCollege Publicationsc2012
Other Libraries in Japan
  • Subject HeadingLambda calculus
  • Subject Heading (ID)Lambda calculus

Typed lambda calculi and applications / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem, J.F. Groote (eds.). (Lecture notes in computer science)

Typed lambda calculi and applications / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem, J.F. Groote (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8781>
National Diet Library
  • Subject HeadingLambda calculus -- Congresses.

An introduction to functional programming through Lambda calculus : pbk

An introduction to functional programming through Lambda calculus : pbk
Paper図書
Greg MichaelsonDover Publications2011
Other Libraries in Japan
  • Subject HeadingFunctional programming (Computer science) Lambda calculus
  • Subject Heading (ID)Functional programming (Computer science) Lambda calculus

Lambda-calculus, combinators, and functional programming : pbk

Lambda-calculus, combinators, and functional programming : pbk
Paper図書
G.E. ReveszCambridge University Press2009
Other Libraries in Japan
  • Subject HeadingLambda calculus Combinatory logic Functional ...
  • Subject Heading (ID)Lambda calculus Combinatory logic Functional ...

Lambda-calculus and combinators, an introduction : hbk

Lambda-calculus and combinators, an introduction : hbk
Paper図書
J. Roger Hindley, Jonathan P. SeldinCambridge University Pressc2008
Other Libraries in Japan
  • Subject HeadingLambda calculus Combinatory logic
  • Subject Heading (ID)Lambda calculus Combinatory logic

Pattern calculus : computing with functions and structures

Pattern calculus : computing with functions and structures
Paper図書
Barry JaySpringer2009
Other Libraries in Japan
  • Subject HeadingData structures (Computer science) Functional programming (Computer science) Lambda calculus
  • Subject Heading (ID)Data structures (Computer science) Functional programming (Computer science) Lambda calculus

An introduction to lambda calculi for computer scientists

An introduction to lambda calculi for computer scientists
Paper図書
Chris HankinKing's Collegec2004
Other Libraries in Japan
  • Subject HeadingLambda calculus
  • Subject Heading (ID)Lambda calculus

Lectures on the Curry-Howard isomorphism

Lectures on the Curry-Howard isomorphism
Paper図書
Morten Heine Sørensen, Paweł UrzyczynElsevier2006
Other Libraries in Japan
  • Subject HeadingCurry-Howard isomorphism Lambda calculus Proof theory
  • Subject Heading (ID)Curry-Howard isomorphism Lambda calculus Proof theory

Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Paper図書
Aart Middeldorp ... [et al.] (eds.)Springerc2005
Other Libraries in Japan
  • Subject HeadingKlop, J. W Lambda calculus Rewriting systems (Computer s...
  • Subject Heading (ID)Klop, J. W Lambda calculus Rewriting systems (Computer s...
RSS