TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 24TH 2018. (TYPES 2018)

TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 24TH 2018. (TYPES 2018)

Item #:
052911
Our Price: $90.00
Adding to cart… The item has been added

Details

  • Title: 24th International Conference on Types for Proofs and Programs (TYPES 2018)
  • Date/Location: Held 18-21 June 2018, Braga, Portugal.
  • Series: Leibniz International Proceedings in Informatics Volume 130
  • Editor: Dybjer, P. et al.
  • ISBN: 9781713803461
  • Pages: 146 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Feb 2020 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 24th International Conference on Types for Proofs and Programs (TYPES 2018)
  • Date/Location: Held 18-21 June 2018, Braga, Portugal.
  • Series: Leibniz International Proceedings in Informatics Volume 130
  • Editor: Dybjer, P. et al.
  • ISBN: 9781713803461
  • Pages: 146 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Feb 2020 )