TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 29TH 2023. (TYPES 2023)

TYPES FOR PROOFS AND PROGRAMS. INTERNATIONAL CONFERENCE. 29TH 2023. (TYPES 2023)

Item #:
076217
Our Price: $95.00
Adding to cart… The item has been added

Details

  • Title: 29th International Conference on Types for Proofs and Programs (TYPES 2023)
  • Date/Location: Held 12-16 June 2023, Politecnica de Valencia, Spain.
  • Series: Leibniz International Proceedings in Informatics Volume 303
  • Editor: Kesner, D. and Reyes, E. H. et al.
  • ISBN: 9798331303082
  • Pages: 140 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Oct 2024 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 29th International Conference on Types for Proofs and Programs (TYPES 2023)
  • Date/Location: Held 12-16 June 2023, Politecnica de Valencia, Spain.
  • Series: Leibniz International Proceedings in Informatics Volume 303
  • Editor: Kesner, D. and Reyes, E. H. et al.
  • ISBN: 9798331303082
  • Pages: 140 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Oct 2024 )